Concise Guide to Formal Methods - O'Regan, Gerard (Springer International Publishing, 2020)