- Component-Oriented Development for Real-Time Java2012 | Faculty of Mathematics and Physics
- A Component-Oriented Framework for Spacecraft On-Board Software2008 | Faculty of Mathematics and Physics
- Carmen : Software Component Model Checker2008 | Faculty of Mathematics and Physics
- Simplifying maintenance by application of architectural services2014 | Faculty of Mathematics and Physics, Central Library of Charles University