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.