Modeling and simulation of discrete-event systems - Choi, Byoung Kyu, 1949- (John Wiley & Sons Inc., 2013)