Safety of Software–based Systems