Dependable computer systems - Zamojski, Wojciech (Springer, 2011)