Theory and Engineering of Dependable Computer Systems and Networks

by Wojciech Zamojski, Jacek Mazurkiewicz, Jaroslaw Sugier, Tomasz Walkowiak, Janusz Kacprzyk