Optimizing verification effort with SPARK 2014. - Pavlos Efstathopoulos; Andrew Hawthorn (HILT, 2013)

Functional Requirements-Based Automated Testing for Avionics. - Youcheng Sun; Martin Brain; Daniel Kroening; Andrew Hawthorn; Thomas Wilson; Florian Schanda; Francisco Javier Guzman Jimenez; Simon Daniel; Chris Bryan; Ian Broster (ICECCS, 2017)

SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction. - Richard F. Paige; Athanasios Zolotas; Dimitrios S. Kolovos; John A. McDermid; Mike Bennett; Stuart Hutchesson; Andrew Hawthorn (STAF Workshops, 2017)