A customized design framework for the model-based development of engine control systems | IEEE Conference Publication | IEEE Xplore