Jan Friso Groote Frank van Ham Interactive visualization of large state spaces. 77-91 2006 8 STTT 1 http://dx.doi.org/10.1007/s10009-005-0198-5 db/journals/sttt/sttt8.html#GrooteH06