Comparison of manual sleep staging with automated neural network-based analysis in clinical practice. - Jennifer Caffarel; G. John Gibson; J. Phil Harrison; Clive J. Griffiths; Michael J. Drinnan (Medical Biol. Eng. Comput., 2006)

Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. - Michael D. Harrison; Michael J. Drinnan; José Creissac Campos; Paolo Masci 001; Leo Freitas; Costanzo di Maria; Michael Whitaker (FACS, 2017)

Formal techniques in the safety analysis of software components of a new dialysis machine. - Michael D. Harrison; Leo Freitas; Michael J. Drinnan; José Creissac Campos; Paolo Masci 001; Costanzo di Maria; Michael Whitaker (Sci. Comput. Program., 2019)