Ivan Porres, Irum Rauf. Generating Class Contracts from Deterministic UML Protocol Statemachines. In Sudipto Ghosh, editor, Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers. Volume 6002 of Lecture Notes in Computer Science, pages 172-185, Springer, 2009. [doi]
Abstract is missing.