Reachability Problems - Ouaknine (Springer International Publishing, 2014)