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

F. Herrera, P. Peñil, E. Villar
2015 Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems - SCOPES '15  
doi:10.1145/2764967.2784777 dblp:conf/scopes/HerreraPV15 fatcat:lfrythavzzevvfslvlxybj4kyq