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