Provably Correct Systems - Hinchey, Mike.; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger. (NASA Monographs in Systems and Software Engineering,, 2017)