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