Analysis and testing of concurrent programs : monograph / Bohuslav Křena, Zdeněk Letko, Tomáš Vojnar .  Brno :  Faculty of Information Technology, Brno University of Technology,  2012 .  136 s.   [1, currently available 1]