1. J. M. Doyle, “Abstract model specification using the Möbius modeling tool,” M.S. thesis, University of Illinois at Urbana-Champaign, 2000.
2. G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. Webster, “ The Mobius modeling tool,” in Proc. of PNPM’01: 10th International Workshop on Petri Nets and Performance Models, Aachen, Germany (to appear), September 2001.
3. J. F. Meyer, A. Movaghar, and W. H. Sanders, “Stochastic activity networks: Structure, behavior and applications,” Proc. International Workshop on Timed Petri Nets, pp. 106–115, 1985.
4. J. Hillston, A Compositional Approach to Performance Modelling, Cambridge University Press, 1996.
5. W. H. Sanders, “Integrated frameworks for multi-level and multi-formalism modeling,” in Proc. PNPM’99: 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 1999, pp. 2–9.