O'Regan, Gerard <br/><br/>
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications 

 -  Springer  2017 
<br/><br/><label>ISBN: </label>978319640204