Ramming, Franz, "Beyond VHDL: Textual Formalism, Visual Techniques or Both?", Euro-Dac IEEE, Jul. 1996. |
Banks, Jerry, "Software simulation", Proc. of 1993 winter simulation conf. ACM pp. 24-33, 1993. |
Tiedemann Wolf, "An approach of multi paradigm controller synthesis from timing diagram specification", IEEE pp. 522-527, 1992. |
Crews and Brewer, "Controller optimization for protocol intensive applications", Euro Dac IEEE, 1996. |
Seawright et al., "A system for compiling and debugging structured data processing controllers", IEEE Euro Dac, 1996. |
Yannakakis, "Online minimization of transition system", ACM 24th annual ACM STOC, pp. 264-274, May 1992. |