Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications - O'Regan, Gerard (Springer International Publishing : Imprint: Springer, 2017)