A Framework for the Specification of Reactive and Concurrent Systems in Z. - Peter Baumann; Karl Lermer (FSTTCS, 1995)

A Methodology for Compilation of High-Integrity Real-Time Programs. - Karl Lermer; Colin J. Fidge (Euro-Par, 1997)

A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics. - Karl Lermer (ARTS, 1999)

A Single Complete Refinement Rule for Demonic Specifications. - Karl Lermer; Paul A. Strooper (IFIP TCS, 2000)

Semantic characterisation of dead control-flow paths. - Ian J. Hayes; Colin J. Fidge; Karl Lermer (IEE Proc. Softw., 2001)

Refinement and state machine abstraction. - Karl Lermer; Paul A. Strooper (Theor. Comput. Sci., 2001)

A formal model of real-time program compilation. - Karl Lermer; Colin J. Fidge (Theor. Comput. Sci., 2002)

Formal Semantics for Program Paths. - Karl Lermer; Colin J. Fidge; Ian J. Hayes (CATS, 2003)

Linear Approximation of Execution-Time Constraints. - Karl Lermer; Colin J. Fidge; Ian J. Hayes (Formal Aspects Comput., 2003)

A theory for execution-time derivation in real-time programs. - Karl Lermer; Colin J. Fidge; Ian J. Hayes (Theor. Comput. Sci., 2005)

Procedure compilation in the refinement calculus. - Karl Lermer; Colin J. Fidge (Formal Aspects Comput., 2006)