Գրեք սա: Managing Safety of Heterogeneous Systems