selected publications conference paper A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. . 67-74. 2011