- Component-Based Design of Cyber-Physical Applications with Safety-Critical Requirements2016 | Faculty of Mathematics and Physics
- Towards Component-Based Design of Safety-Critical Cyber-Physical Applications2014 | Faculty of Mathematics and Physics
- QRML: A Component Language and Toolset for Quality and Resource Management2020 | Faculty of Mathematics and Physics