Model integration in the development of embedded control systems - a characterization of current research efforts | IEEE Conference Publication | IEEE Xplore