A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems | Publicación