Concise guide to formal methods : Theory, Fundamentals and Industry Applications (2017)