A Model-Based Transformation Process to Validate and Implement High-Integrity Systems | IEEE Conference Publication | IEEE Xplore