Text this: Modeling and simulation of discrete-event systems /