Cunha A, Garis A, Paiva A, Riesco D.? 2012.??Specifying UML Protocol State Machines in Alloy. Proceedings of the 9th International Conference on Integrated Formal Methods - IFM. 7321