Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? - Karsten Loer; Michael D. Harrison (DSV-IS, 2000)

Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. - Karsten Loer; Michael D. Harrison (ASE, 2002)

Model-based automated analysis for dependable interactive systems. - Karsten Loer (2003)

Analysing Dynamic Function Scheduling Decisions. - Karsten Loer; Michael Hildebrandt; Michael D. Harrison (Human Error, Safety and Systems Development, 2004)

Time design: analysing human temporal control behaviour in dynamic real-time systems. - Michael Hildebrandt; Karsten Loer; Michael D. Harrison (SMC (1), 2004)

Verifying user interface behaviour with model checking. - José Creissac Campos; Michael D. Harrison; Karsten Loer (VVEIS, 2004)

Analysing User Confusion in Context Aware Mobile Applications. - Karsten Loer; Michael D. Harrison (INTERACT, 2005)

An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. - Karsten Loer; Michael D. Harrison (Autom. Softw. Eng., 2006)

Connecting Rigorous System Analysis to Experience-Centered Design. - Michael D. Harrison; José Creissac Campos; Gavin J. Doherty; Karsten Loer (Maturing Usability, 2008)