A Comprehensive Web-based Platform For Domain-Specific Biological Models. - Matej Klement; David Safránek; T. Ded; Ales Pejznoch; Ladislav Nedbal; Ralf Steuer; Jan Cervený; Stefan Müller 009 (CS2Bio, 2013)

Barbaric Robustness Monitoring Revisited for STL* in Parasim. - David Safránek; Matej Troják; Vojtech Bruza; Tomás Vejpustek; Jan Papousek; Martin Demko; Samuel Pastva; Ales Pejznoch; Lubos Brim (CMSB, 2019)