Effective programming language support for discrete-continuous mode-switching control systems | IEEE Conference Publication | IEEE Xplore