Integration of batch plant scheduling and control by means of hybrid net condition/event system model | IEEE Conference Publication | IEEE Xplore