1. Unified LTL Verification and Embedded Execution of UML Models
2. Execution framework of the GEMOC studio (tool demo)
3. Evaluating and comparing language workbenches
4. Martin Fowler. 2010. Domain-specific languages. Pearson Education. Martin Fowler. 2010. Domain-specific languages. Pearson Education.
5. Erich Gamma , Richard Helm , Ralph Johnson , and John Vlissides . 1994 . Design Patterns: Elements of Reusable Object-Oriented Software. AddisonWesley Professional. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. 1994. Design Patterns: Elements of Reusable Object-Oriented Software. AddisonWesley Professional.