Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM. - Pervez, Usman; Mahmood, Asiah; Hasan, Osman; Latif, Khalid; Gawanmeh, Amjad (2015)