- Component-Based Design of Cyber-Physical Applications with Safety-Critical Requirements2016 | Matematicko-fyzikální fakulta
- Towards Component-Based Design of Safety-Critical Cyber-Physical Applications2014 | Matematicko-fyzikální fakulta
- QRML: A Component Language and Toolset for Quality and Resource Management2020 | Matematicko-fyzikální fakulta