Model-based testing and monitoring for hybrid embedded systems | IEEE Conference Publication | IEEE Xplore