Visualization of State Transition Systems in a Parallel Environment. - Subbu Ramanathan; Haresh Suresh; Amog Rajenderan; Susan Elias (ICT, 2010)