Formalizing non-concurrent UML state machines using colored petri nets

Étienne André, Christine Choppy, Kais Klai
2012 Software engineering notes  
doi:10.1145/2237796.2237819 fatcat:lohfpooi5bbbhkoywyebg55a2q