Appendix B: The MSC for the DemonGame
http://www.ibm.com/rational