The Mobius Modeling Environment: Recent Extensions - 2005. - Tod Courtney; Salem Derisavi; Shravan Gaonkar; Mark Griffith; Vinh Vi Lam; Michael G. McQuinn; Eric Rozier; William H. Sanders (QEST, 2005)

Data Analysis and Visualization within the Möbius Modeling Environment. - Tod Courtney; Shravan Gaonkar; Mark Griffith; Vinh Vi Lam; Michael G. McQuinn; Eric Rozier; William H. Sanders (QEST, 2006)

Design of Experiments within the Mobius Modeling Environment. - Tod Courtney; Shravan Gaonkar; Michael G. McQuinn; Eric Rozier; William H. Sanders; Patrick G. Webster (QEST, 2007)

Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. - Michael G. McQuinn; Peter Kemper; William H. Sanders (QEST, 2007)

Detecting and Exploiting Symmetry in Discrete-State Markov Models. - W. Douglas Obal II; Michael G. McQuinn; William H. Sanders (IEEE Trans. Reliab., 2007)