Carlos Rossi Manuel Enciso Inmaculada Perez de Guzmán Formalization of UML state machines using temporal logic. 31-54 2004 3 Software and System Modeling 1 http://dx.doi.org/10.1007/s10270-003-0029-7 db/journals/sosym/sosym3.html#RossiEG04