Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development

Sergey Zverlov, Maged Khalil and Mayank Chaudhary

SAFECOMP 2015 Workshop proceedings,

2015