Disaster
Model Checking for Survivability Evaluation Critical Infrastructures Boudewijn R. Haverkort University of Twente Dutch Model Checking Day May 9, 2014.
Disasters
Assignment 2
"A Feast for Crows"