Concise guide to formal methods theory, fundamentals and industry applications - O'Regan, Gerard (Springer, 2017)