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