Logic versus Magic in Critical Systems. - Peter Amey (Ada-Europe, 2001)

A language for systems not just software. - Peter Amey (SIGAda, 2001)

Closing the Loop: The Influence of Code Analysis on Design. - Peter Amey (Ada-Europe, 2002)

Industrial strength exception freedom. - Peter Amey; Roderick Chapman (SIGAda, 2002)

High Integrity Ravenscar. - Peter Amey; Brian Dobbing (Ada-Europe, 2003)

Static analysis of Ravenscar programs. - Peter Amey; Brian Dobbing (IRTAW, 2003)

Static verification and extreme programming. - Peter Amey; Roderick Chapman (SIGAda, 2003)

High Integrity Ada in a UML and C World. - Peter Amey; Neil White (Ada-Europe, 2004)

Smart Certification of Mixed Criticality Systems. - Peter Amey; Roderick Chapman; Neil White (Ada-Europe, 2005)

Why Programming Languages Still Matter. - Peter Amey (RODIN Book, 2006)