Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.”10.1109/ASPDAC.1995.486383__Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, 1995, doi:10.1109/ASPDAC.1995.486383.