- Component-Oriented Development for Real-Time Java2012 | Matematicko-fyzikální fakulta
- Komponentový framework pro kosmický on-board software2008 | Matematicko-fyzikální fakulta
- Carmen : Software Component Model Checker2008 | Matematicko-fyzikální fakulta
- Simplifying maintenance by application of architectural services2014 | Matematicko-fyzikální fakulta, Ústřední knihovna