Model-Driven Optimization: Towards Performance-Enhancing Low-Level Encodings. - Lars van Arragon; Carlos Diego Nascimento Damasceno; Daniel Strüber 001 (MoDELS (Companion), 2023)

Compositionality in Model-Based Testing. - Gijs van Cuyck; Lars van Arragon; Jan Tretmans (ICTSS, 2023)

Testing Compositionality. - Gijs van Cuyck; Lars van Arragon; Jan Tretmans (FACS, 2024)