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