Provably Correct Systems - Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (Springer, 2017)