A Stimulus/Response System Based on Hierarchical Timing Diagrams. - Karim Khordoc; Mario Dufresne; Eduard Cerny (ICCAD, 1991)

Integrating Behavior and Timing in Executable Specifications. - Karim Khordoc; Mario Dufresne; Eduard Cerny; P. A. Babkine; Allan Silburt (CHDL, 1993)

Accelerating Concurrent Hardware Design with Behavioural Modelling and System Simulation. - Allan Silburt; Ian Perryman; Janick Bergeron; Stacy Nichols; Mario Dufresne; Greg Ward (DAC, 1995)

Functional Verification of Large ASICs. - Adrian Evans; Allan Silburt; Gary Vrckovnik; Thane Brown; Mario Dufresne; Geoffrey Hall; Tung Ho; Ying Liu (DAC, 1998)