Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare