Liu, Venkatesh, 2008. Methods and Tools for Formal Software Engineering, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-69149-5_4