Mixed-criticality design of a satellite software system | Publicación