An Overview of the Annex System. - Duncan A. Grove; Toby C. Murray; Chris A. Owen; Chris J. North; J. A. Jones; Mark R. Beaumont; Bradley D. Hopkins (ACSAC, 2007)

PRISM: Program Replication and Integration for Seamless MILS. - Chris A. Owen; Duncan A. Grove; Tristan Newby; Alex Murray; Chris North 002; Michael Pope (IEEE Symposium on Security and Privacy, 2011)

Annex: A Middleware for Constructing High-Assurance Software Systems. - Tristan Newby; Duncan A. Grove; Alex Murray; Chris A. Owen; Jim McCarthy; Chris J. North (AISC, 2015)