Discrete event dynamic systems framework for analysis and modeling of real manufacturing system | IEEE Conference Publication | IEEE Xplore