For TBC of Discrete Event System Simulation by Banks et al.