@inproceedings{HCI-NT-2009-PalanqueLNB,
	author        = "Philippe A. Palanque and Jean-François Ladry and David Navarre and Eric Barboni",
	booktitle     = "{Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends}",
	doi           = "10.1007/978-3-642-02574-7_75",
	isbn          = "978-3-642-02573-0",
	pages         = "667--676",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{High-Fidelity Prototyping of Interactive Systems Can Be Formal Too}",
	volume        = 5610,
	year          = 2009,
}