Validating Industrial Requirements with a Contract-Based Approach | IEEE Conference Publication | IEEE Xplore