Formal Methods Applications in Air Transportation. - Todd Farley (NASA Formal Methods, 2009)

A distributed scheduler for air traffic flow management. - Steven J. Landry; Todd Farley; Ty Hoang; Brian Stein (J. Sched., 2012)