@inproceedings{LLACSWD13,
  	location =	{Turku, Finland},
  	author =	{Liu, Shuang and Liu, Yang and Andr\'e, {\'E}tienne and Choppy, Christine and Sun, Jun and Wadhwa, Bimlesh and Dong, Jin Song},
  	booktitle =	{Proceedings of the 10th International Conference on Integrated Formal Methods ({iFM}'13)},
 	editor =	{Luigia Petre and Einar Broch Johnsen},
  	month =	jun,
	pages =	 {331-346},
  	publisher =	{Springer},
  	series =	{Lecture Notes in Computer Science},
  	title =	{A Formal Semantics for the Complete Syntax of UML State Machines with Communications},
	volume =	{7940},
  	year =	{2013},
   	lipn-category = "intc",
  	keywords = {intc},
}