Olaf Drögehorn Oliver Terhorst Heinz-Dieter Hümmer Walter Geisselhardt Formal Specification and Verification of Communication-Systems for designing in VHDL. 45-54 1999 conf/fbt/1999 FBT db/conf/fbt/fbt1999.html#GrogehornTHG99