Specific Length Trajectories Optimised for Maximum Acceleration using Conic Parameterised Clothoids. - Galen Brambley; Neale Leslie Fulton (IEEE Trans. Aerosp. Electron. Syst., 2011)

Verifying an Aircraft Proximity Characterization Method in Coq. - Dongxi Liu; Neale Leslie Fulton; John Zic; Martin de Groot (ICFEM, 2013)