Müller, W., Lehrenfeld, G., &; Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair.https://doi.org/10.1109/ASPDAC.1995.486383