@inproceedings{ABC14KSE,
	author = {Andr{\'e}, {\'E}tienne and Benmoussa, Mohamed Mahdi and Choppy, Christine},
	title = {Formalising Concurrent {UML} State Machines Using Coloured {P}etri Nets},
	booktitle = {Proceedings of the 6th International Conference on Knowledge and Systems Engineering (KSE'14)},
	doi       = {10.1007/978-3-319-11680-8_38},
	editor = {Nguyen, Viet{-}Ha and Le, Anh{-}Cuong and Huynh, Van{-}Nam},
	location = {Hanoi, Vietnam},
	month = nov,
	pages     = {473--486},
	publisher = {Springer},
	volume    = {326},
	publisher = {Springer},
	series    = {Advances in Intelligent Systems and Computing},
	year      = {2014},
}