- Rodina komponentových modelů pro vestavěné systémy v automobilech +12008 | Matematicko-fyzikální fakulta
- Srovnání komponentových frameworků pro vestavěné systémy reálného času2010 | Matematicko-fyzikální fakulta
- SOFA High IntegrityPublikace bez příslušnosti k fakultě
- SOFA pro JMEPublikace bez příslušnosti k fakultě