Protocol animation based on event-driven visualization scenarios in real-time LOTOS