Integrating Behavior and Timing in Executable Specifications.

Karim Khordoc Mario Dufresne Eduard Cerny P. A. Babkine Allan Silburt Integrating Behavior and Timing in Executable Specifications. 399-416 1993 conf/chdl/1993 CHDL db/conf/chdl/chdl1993.html#KhordocDCBS93