Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits: Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. MoDELS 2013: 471-487