1. Akehurst D. H. Model Translation: A UML-based specification technique and active implementation technique. PhD Thesis, University of Kent, UK. December 2000.
2. Akehurst D., Bowman H., Bryans J. and Derrick J. A Manual for a ModelChecker for Stochastic Automata. Technical Report 9-00, Computing Laboratory, University of Kent, December 2000.
3. Lect Notes Comput Sci;J.M. Alvarez,2000
4. Lect Notes Comput Sci;A. Clark,2002
5. Clark A., Evans A. and Kent S. Package Extension. Submitted to UML.02, March 2002.