Enhancing the time Petri nets for automatic hybrid control synthesis | IEEE Conference Publication | IEEE Xplore