Protocol animation based on event-driven visualization scenarios in real-time LOTOS. - Yasumoto, Keiichi; Umedu, Takaaki; Yamaguchi, Hirozumi; Nakata, Akio; Higashino, Teruo (Comput. Networks, 2002)