A Mobile Climbing Robot for High Precision Manufacture and Inspection of Aerostructures. - Tim S. White; Richard Alexander; Glenn Callow; Andrew Cooke; Steve Harris; J. Sargent (Int. J. Robotics Res., 2005)

System modelling for run-time verification and validation of autonomous systems. - Glenn Callow; Graham Watson; Roy Kalawsky (SoSE, 2010)

Addressing systems verification of autonomous systems through Bi-directional model transformations: A systems model driven architecture approach. - Glenn Callow; Roy Kalawsky; Graham Watson; Yuki Okuda (SoSE, 2011)

Toward a Goal-based Mission Planning Capability - Using PDDL based Automated Planners. - John Bookless; Glenn Callow (ICAART (1), 2012)

A Satisficing Bi-Directional Model Transformation Engine using Mixed Integer Linear Programming. - Glenn Callow; Roy Kalawsky (J. Object Technol., 2013)