Concise guide to formal methods theory, fundamentals and industry applications - O'Regan, Gerard (Undergraduate topics in computer science, 2017)