- Formal validation and verification of a medical software critical component2015 | Matematicko-fyzikální fakulta
- Integrating Formal Methods into Medical Software Development: the ASM approach2018 | Matematicko-fyzikální fakulta
- How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study2016 | Matematicko-fyzikální fakulta