Semantics-Directed Hardware Generation of Hybrid Systems | IEEE Conference Publication | IEEE Xplore