Philippe A. Palanque Jean-François Ladry David Navarre Eric Barboni High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. 667-676 2009 HCI (1) http://dx.doi.org/10.1007/978-3-642-02574-7_75 conf/hci/2009-1 db/conf/hci/hci2009-1.html#PalanqueLNB09