FORMAL ANALYSIS OF INTELLIGENT AGENTS FOR MODEL-BASED MEDICINE USAGE MANAGEMENT Topics: Development of Assistive Technology for Independent Living; Medical and Nursing Informatics; Telemedicine In Proceedings of the First International Conference on Health Informatics - Volume 1: HEALTHINF, 148-155, 2008 , Funchal, Madeira, Portugal