Formal Methods and Software Engineering by Catherine George & H. Miao