High-Assurance Software Design for Mobile Tele-Health Systems | IEEE Conference Publication | IEEE Xplore