Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design | IEEE Conference Publication | IEEE Xplore