Reachability Problems - Matthew Hague, Igor Potapov (Springer, 2017)