Specification of e-Health system using Z: A motivation to formal methods
Elicitation of Security requirements for E-Health system by applying Model Oriented Security Requirements Engineering (MOSRE) Framework