Validating specifications: a contract-based approach | IEEE Journals & Magazine | IEEE Xplore