Formal Methods: Foundations and Applications - Davies, Jim (Springer, 2015)