Policy-Based Diabetes Detection using Formal Runtime Verification Monitors | IEEE Conference Publication | IEEE Xplore