Reachability problems 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings / - Kučera, A.; Potapov, Igor. (Springer,)