@inproceedings{HCI-AMTE-2013-BratMP,
	author        = "Guillaume Brat and Célia Martinie and Philippe A. Palanque",
	booktitle     = "{Proceedings of the 15th International Conference on Human-Computer Interaction. Part I: Human-Centred Design Approaches, Methods, Tools, and Environments}",
	doi           = "10.1007/978-3-642-39232-0_33",
	isbn          = "978-3-642-39231-3",
	pages         = "290--299",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog}",
	volume        = 8004,
	year          = 2013,
}