Modeling And Simulation Semantics For Building Large-Scale Multi-Domain Embedded Systems. - Joshua D. Carl; Zsolt Lattman; Gautam Biswas (ECMS, 2013)