Quality-driven model-based design of multi-processor embedded systems for highlydemanding applications | IEEE Conference Publication | IEEE Xplore