Model-based development of automotive embedded systems: a case of continuously variable transmission (CVT) | IEEE Conference Publication | IEEE Xplore