A Contract-based Approach to Specifying and Verifying Safety Critical Systems. - Dong, Wei; Chen, Zhenbang; Wang, Ji (2006)