Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco. Specifying UML Protocol State Machines in Alloy. In John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne, editors, Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7321 of Lecture Notes in Computer Science, pages 312-326, Springer, 2012. [doi]
Abstract is missing.