Ashvin Radiya Robert G. Sargent A Logic-based Foundation of Discrete Event Modeling and Simulation. 3-51 1994 4 ACM Trans. Model. Comput. Simul. 1 http://doi.acm.org/10.1145/174619.174620 db/journals/tomacs/tomacs4.html#RadiyaS94