Modeling and simulation of discrete-event systems - Choi, Byoung Kyu, 1949- (Wiley, 2013)