Reachability Problems - Bournez, Olivier; Kanade, Takeo; Potapov, Igor; Kittler, Josef (Springer Berlin Heidelberg, 2009)