Multi-way Semantic Specification of Domain-Specific Modeling Languages. - David Lindecker; Gabor Simko; István Madari; Tihamer Levendovszky; Janos Sztipanovits (ECBS, 2013)

A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. - Gabor Simko; David Lindecker; Tihamer Levendovszky; Ethan K. Jackson; Sandeep Neema; Janos Sztipanovits (ECBS, 2013)

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

Validating Transformations for Semantic Anchoring. - David Lindecker; Gabor Simko; Tihamer Levendovszky; István Madari; Janos Sztipanovits (J. Object Technol., 2015)