...ates for guarantees of such key system characteristics when deployed on distributed HW-architecturesTo achieve these objectives, COMBEST will:\tDevelop a design theory for complex embedded systems, fully covering heterogeneity, interface specifications, composability, compositionality, and refinement for functional and extra-functional properties\tBuild on substantial highly recognized backgroun ...