Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. - Jiri Barnat; Jan Beran; Lubos Brim; Tomas Kratochvila; Petr Rockai (FMICS, 2012)

Executing Model Checking Counterexamples in Simulink. - Jiri Barnat; Lubos Brim; Jan Beran; Tomas Kratochvila; Italo R. Oliveira (TASE, 2012)

Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). - Jiri Barnat; Petr Bauch; Nikola Benes; Lubos Brim; Jan Beran; Tomas Kratochvila (CoRR, 2015)

Analysing sanity of requirements for avionics systems. - Jiri Barnat; Petr Bauch; Nikola Benes; Lubos Brim; Jan Beran; Tomas Kratochvila (Formal Aspects Comput., 2016)

Unite: an adapter for transforming analysis tools to web services via OSLC. - Ondrej Vasícek; Jan Fiedor; Tomas Kratochvila; Bohuslav Krena; Ales Smrcka; Tomás Vojnar (ESEC/SIGSOFT FSE, 2022)