Zaslat SMS: Managing Safety of Heterogeneous Systems