Lucia Cloth, Boudewijn R. Haverkort. Model Checking for Survivability. In Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy. pages 145-154, IEEE Computer Society, 2005. [doi]
Abstract is missing.