An event based formal specification method to diabetic's behavior monitor system. - Seyed Morteza Babamir; Mehdi Borhani Dehkordi (WCIT, 2011)

Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample. - Seyed Morteza Babamir; Mehdi Borhani Dehkordi (J. Medical Syst., 2012)