Visualization of state transition graphs door