## Publications

### Scientific Publications

- Runtime Verification of Compound Components with ComMA A Journey from Process Algebra via Timed Automata to Model Learning, LNCS 13560, pages 382-402, 2022.

- Reverse Engineering Models of Software Interfaces, Computer Science and Information Systems, pages 657-686, 2021.

- Integrating Interface Modeling and Analysis in an Industrial Setting Proc. 5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2017), pages 345-352, 2017

- Runtime Monitoring based on Interface Specifications ModelEd, TestEd, TrustEd, LNCS 10500, pages 335-356, 2017

### Other Publications

- Model-based Specification, Verification, and Adaptation of Software Interfaces The DYNAMICS Approach, Benny Akesson

- ComMA interfaces open the door to reliable high-tech systems Bits & Chips, September 2020

- Improving interface specifications with ComMA Bits & Chips, September 2017

- Domain-specific languages could scale up your code with ComMA Article by Philips Healthcare in Codemotion Magazine