Anthony J. H. Simons On the Compositional Properties of UML Statechart Diagrams. 2000 conf/room/2000 Rigorous Object-Oriented Methods http://ewic.bcs.org/conferences/2000/objectmethods/papers/paper8.htm db/conf/room/room2000.html#Simons00