An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems | IEEE Conference Publication | IEEE Xplore