Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications - O'Regan, Gerard. (Undergraduate Topics in Computer Science,, 2017)