Balraj Singh John Wicks Philip Wright James R. Armstrong The Modeler's Assistant: A CAD Tool for Behavioral Model Development. 361-368 1993 conf/chdl/1993 CHDL db/conf/chdl/chdl1993.html#SinghWWA93