Dependable Computer Systems - Zamojski, Wojciech; Kacprzyk, Janusz; Mazurkiewicz, Jacek; Sugier, Jarosław; Walkowiak, Tomasz (Springer Berlin Heidelberg, 2011)