Visualization and Performance Analysis of Formally Specified Communication Protocols. - Markus Walch; Adam Wolisz; J. Wolf-Günther (MASCOTS, 1994)