Combination of simulation and formal methods to analyse network survivability. - Petr Matousek; Ondrej Rysavý; Gayan de Silva; Martin Danko (SimuTools, 2010)