Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings - Kučera, Antonín; Potapov, Igor (Springer Berlin Heidelberg, 2010)