Reachability Problems - Anthony W. Lin, Georg Zetzsche, Igor Potapov (Springer, 2022)