Tod Courtney Salem Derisavi Shravan Gaonkar Mark Griffith Vinh Vi Lam Michael G. McQuinn Eric Rozier William H. Sanders The Mobius Modeling Environment: Recent Extensions - 2005. 259-260 2005 conf/qest/2005 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2005.39 db/conf/qest/qest2005.html#CourtneyDGGLMRS05