Reachability Problems - Hutchison, David; Kanade, Takeo; Leroux, Jerome; Potapov, Igor (Springer Berlin Heidelberg, 2012)