Towards a Formal Specification of an Electronic Payment System in CSP-CASL. - Andy Gimblett; Markus Roggenbach; Bernd-Holger Schlingloff (WADT, 2004)

User interface model discovery: towards a generic approach. - Andy Gimblett; Harold W. Thimbleby (EICS, 2010)

Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. - Ann Blandford; Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Dominic Furniss; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci 001; Patrick Oladimeji; Atish Rajkomar; et al. (EICS4Med, 2011)

Engineering interactive computer systems for medicine and healthcare (EICS4Med). - Ann Blandford; Giuseppe De Pietro; Luigi Gallo; Andy Gimblett; Patrick Oladimeji; Harold W. Thimbleby (EICS, 2011)

Towards Dependable Number Entry for Medical Devices. - Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci 001; Patrick Oladimeji; Rimvydas Ruksenas; Harold Thimbleby (EICS4Med, 2011)

Buffer automata: a UI architecture prioritising HCI concerns for interactive devices. - Harold W. Thimbleby; Andy Gimblett; Abigail Cauchi (EICS, 2011)

On formalising interactive number entry on infusion pumps. - Paolo Masci 001; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Dependable keyed data entry for interactive systems. - Harold W. Thimbleby; Andy Gimblett (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Safer "5-key" number entry user interfaces using differential formal analysis. - Abigail Cauchi; Andy Gimblett; Harold W. Thimbleby; Paul Curzon; Paolo Masci 001 (BCS HCI, 2012)

Applying theorem discovery to automatically find and check usability heuristics. - Andy Gimblett; Harold W. Thimbleby (EICS, 2013)

On the whereabouts of CSP-CASL - A survey. - Andy Gimblett; Temesghen Kahsai; Liam O'Reilly; Markus Roggenbach (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Structural usability techniques for dependable HCI. - Andy Gimblett (2014)

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. - Paolo Masci 001; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby (Innov. Syst. Softw. Eng., 2015)