Simulations and antichains for efficient handling of finite automata : monograph - Holík, Lukáš; Vojnar, Tomáš, 1973- (Faculty of Information Technology, Brno University of Technology, 2010)