Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback | IEEE Conference Publication | IEEE Xplore