Analysis, control, and optimization of discrete event dynamic systems | IEEE Conference Publication | IEEE Xplore