Philippe A. Palanque Sandra Basnyat David Navarre Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. 21-40 2007 conf/usab/2007 USAB http://dx.doi.org/10.1007/978-3-540-76805-0_2 db/conf/usab/usab2007.html#PalanqueBN07