https://dataprojectng.com/8139/A FORMAL APPROACH TO CONTRACT VERIFICATION FOR HIGH-INTEGRITY APPLICATIONS