A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.
application/pdf
Étienne André, Christine Choppy, Kais Klai. "Formalizing non-concurrent UML state machines using colored petri nets." Software engineering notes 37.4 (2012)