@article{ACK12,
	author    = {{\'E}tienne Andr{\'e} and Christine Choppy and Kais Klai},
	title     = {Formalizing non-concurrent {UML} state machines using colored {P}etri nets},
	journal   = {ACM SIGSOFT Software Engineering Notes},
	volume    = {37},
	number    = {4},
	year      = {2012},
	pages     = {1-8},
}