Simko, G. ., Lindecker, D. ., Levendovszky, T. ., Neema, S. ., & Sztipanovits, J. . (2013). Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition. In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS). Springer Berlin Heidelberg.