@inproceedings{226, author = {G. Simko and D. Lindecker and T. Levendovszky and S. Neema and J. Sztipanovits}, title = {Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition}, year = {2013}, journal = {ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS)}, publisher = { Springer Berlin Heidelberg}, }