Modular Development and Certification of Dependable Mixed-Criticality Systems | Publicación