Formal Methods: Foundations and Applications - Márcio Cornélio, Bill Roscoe; Roscoe, Bill (Springer International Publishing, 2016)