Visualization of state transition graphs by