Elisa Bertino, Donatella Castelli, Federica Vitale: A Formal Representation for State Diagrams in the OMT Methodology. SOFSEM 1996: 327-334