1. von der Beeck ., M. A comparison of statecharts variants . In Formal Techniques in Real-Time and Fault-Tolerant Systems: Lecture Notes in Comp. Science 863, H. Langmaack, W.-P. de Roever, and J. Vytopil (eds) , Springer ( 2014 ), 128--148. von der Beeck., M. A comparison of statecharts variants. In Formal Techniques in Real-Time and Fault-Tolerant Systems: Lecture Notes in Comp. Science 863, H. Langmaack, W.-P. de Roever, and J. Vytopil (eds), Springer (2014), 128--148.
2. UML formal semantics: lessons learned
3. On the algebraic definition of programming languages
4. Butting , A. et al. Semantic differencing for message-driven component and connector architectures . In 2017 IEEE Intern. Conf. on Software Architecture, 145--154 . Butting, A. et al. Semantic differencing for message-driven component and connector architectures. In 2017 IEEE Intern. Conf. on Software Architecture, 145--154.