Peter Herrmann Heiko Krumm Olaf Drögehorn Walter Geisselhardt Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs. 291-310 2002 20 Telecommunication Systems 3-4 db/journals/telsys/telsys20.html#HerrmannKDG02