Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog: Provably Correct Systems. NASA Monographs in Systems and Software Engineering, Springer 2017, ISBN 978-3-319-48627-7