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