A formal language approach for multi-sensor Wearable Health-Monitoring Systems | IEEE Conference Publication | IEEE Xplore