Dependability and computer engineering : concepts for software-intensive systems - Petre, Luigia 1974-; Sere, Kaisa; Troubitsyna, Elena (IGI Global, 2012)