Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM | IEEE Conference Publication | IEEE Xplore