A Visualization Tool for Reactive Systems Simulation. - Mubarak Sami; Olga Ormandjieva; Vangalur S. Alagar (MSV, 2005)