Ashvin Radiya et Robert G.sargent, A logic-based foundation of discrete event modeling and simulation, ACM transactions on modeling and computer simulation Transactions on modeling and computer simulation;Association for Computing Machinery transactions on modeling and computer simulation;TOMACS , 4(1), 1994, pp. 3-51