A Formal Model for Network-Wide Security Analysis. - Petr Matousek; Jaroslav Ráb; Ondrej Rysavý; Miroslav Svéda (ECBS, 2008)

A component-based approach to verification of embedded control systems using TLA+. - Ondrej Rysavý; Jaroslav Ráb (IMCSIT, 2008)

A formal model of composing components: the TLA+ approach. - Ondrej Rysavý; Jaroslav Ráb (Innov. Syst. Softw. Eng., 2009)

Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties. - Miroslav Svéda; Ondrej Rysavý; Petr Matousek; Jaroslav Ráb; Rudolf Cejka (DCNET/OPTICS, 2010)

Static Analysis of Routing and Firewall Policy Configurations. - Miroslav Svéda; Ondrej Rysavý; Gayan de Silva; Petr Matousek; Jaroslav Ráb (ICETE (Selected Papers), 2010)

Reachability Analysis in Dynamically Routed Networks. - Miroslav Svéda; Ondrej Rysavý; Gayan de Silva; Petr Matousek; Jaroslav Ráb (ECBS, 2011)

A Formal Authorization Framework for Networked SCADA Systems. - Ondrej Rysavý; Jaroslav Ráb; Patrik Halfar; Miroslav Svéda (ECBS, 2012)

Improving security in SCADA systems through firewall policy analysis. - Ondrej Rysavý; Jaroslav Ráb; Miroslav Svéda (FedCSIS, 2013)