Runtime Verification of Web Services for Interconnected Medical Devices | IEEE Conference Publication | IEEE Xplore