1. BFS-DEVS: A general DEVS-based formalism for behavioral fault simulation;Simulation Modelling Practice and Theory;2006-10
2. Issues in the design of a logic simulator: element modelling for efficiency;IEE Proceedings - Circuits, Devices and Systems;1996
3. Multi-List-Traversal;Concurrent and Comparative Discrete Event Simulation;1994
4. History and Background: Digital Logic and Fault Simulation;Concurrent and Comparative Discrete Event Simulation;1994
5. Introduction and Overview;Concurrent and Comparative Discrete Event Simulation;1994