Dependability of networked computer-based systems - Verma, Ajit Kumar. (Springer London, 2011)