Formal verification of UML state diagrams: a petri net based approach. - Christine Choppy; Kais Klai; Hacene Zidani (ACM SIGSOFT Softw. Eng. Notes, 2011)