Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. - Jin Song Dong; Neale Fulton; Lin Zucconi; John Colton (ICFEM, 1997)

Capturing Periodic Concurrent Interactions of Mission Computer Tasks. - Jin Song Dong; Brendan P. Mahony; Neale Fulton (APSEC, 1999)

Modeling Aircraft Mission Computer Task Rates. - Jin Song Dong; Brendan P. Mahony; Neale Fulton (World Congress on Formal Methods, 1999)

Optimal bang-bang and singular controls in collision avoidance for participants with unequal linear speeds. - Helmut Maurer; Tanya Tarnopolskaya; Neale Fulton (CDC, 2012)

Synthesis of Optimal Bang-Bang Control for Cooperative Collision Avoidance for Aircraft (Ships) with Unequal Linear Speeds. - Tanya Tarnopolskaya; Neale Fulton; Helmut Maurer (J. Optim. Theory Appl., 2012)