Engineering in Dependability of Computer Systems and Networks - Wojciech Zamojski, Jacek Mazurkiewicz, Jaros?aw Sugier, Tomasz Walkowiak, Janusz Kacprzyk (Springer, 2020)