Lishan Harbird, Andy Galloway, Richard F. Paige. Towards a Model-Based Refinement Process for Contractual State Machines. In 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2010, Carmona, Sevilla, Spain, May 4-7, 2010. pages 108-115, IEEE Computer Society, 2010. [doi]
Abstract is missing.