@article{ABC16,
  	author =	{Andr\'e, {\'E}tienne and Benmoussa, Mohamed Mahdi and Choppy, Christine},
  	journal =	{Formal Aspects of Computing},
  	publisher = {Springer},
  	title =	{Formalising concurrent {UML} state machines using coloured {P}etri nets},
  	year =	{2016},
  	volume =	{28},
  	doi = {10.1007/s00165-016-0388-9},
  	month =	{sep},
  	number =	{5},
  	pages =	{805-845},
  	url = {https://lipn.univ-paris13.fr/~andre/documents/formalising-concurrent-uml-state-machines-using-coloured-petri-nets-FAoC.pdf},
}