Reachability Problems - Bojanczyk; Lasota, Sawomir; Lasota, Slawomir; Potapov, Igor (Springer International Publishing, 2015)