Safety validation of embedded control software using Z animation. - Brenton Atchison; Peter A. Lindsay (HASE, 2000)

A Tool for Subsystem Configuration Management. - Hagen Völzer; Brenton Atchison; Paul A. Strooper; Peter A. Lindsay; Anthony MacDonald (ICSM, 2002)

A Product-Based Assurance Model for Mixed-Integrity Markets. - Brenton Atchison; Alena Griffiths (SCS, 2002)

Engineering SCADA Products for Use in Safety-Related Systems. - Brenton Atchison; Alena Griffiths (SSS, 2002)

SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. - Hagen Völzer; Anthony MacDonald; Brenton Atchison; Andrew Hanlon; Peter A. Lindsay; Paul A. Strooper (IEEE Trans. Software Eng., 2004)

The integration of safety analysis and functional verification techniques for software safety arguments / Brenton Atchison - Brenton Atchison (2004)

Model-Driven Development within a Legacy System: An Industry Experience Report. - Anthony MacDonald; Daniel M. Russell; Brenton Atchison (Australian Software Engineering Conference, 2005)