@inproceedings{ABC14ESSS,
	Author = {Andr{\'{e}}, {\'{E}}tienne and Benmoussa, Mohamed Mahdi and Choppy, Christine},
	Booktitle = {3rd International Workshop on Engineering Safety and Security Systems ({ESSS}'14)},
  	doi = {10.4204/EPTCS.150.1},
  	editor = {Liu, Yang and Pang, Jun},
	location = {Singapore},
	Month = {May},
    pages = {1-7},
	series = {Electronic Proceedings in Theoretical Computer Science},
	Title = {Translating {UML} State Machines to Coloured {P}etri Nets Using {A}cceleo: A Report},
	url = {http://arxiv.org/pdf/1405.1112v1},
	volume = {150},
	Year = {2014},
}