Leo Freitas Jim Woodcock Ana Cavalcanti State-rich model checking. 49-64 2006 2 ISSE 1 http://dx.doi.org/10.1007/s11334-006-0021-9 db/journals/isse/isse2.html#FreitasWC06