Towards a Model-Based Refinement Process for Contractual State Machines. - Lishan Harbird; Andy Galloway; Richard F. Paige (ISORC Workshops, 2010)

Patterns and model transformation tools for designing Contractual State Machines. - Lishan Harbird (2011)