Design and Conformance of Air-Traffic Control
Papers
"Direct-To Requirements", Greg Dennis and Emina Torlak, MIT Laboratory for Computer Science, March 2001.
Gives background information about D2, overviews its requirements and
presents its object models.
"Modelling NASA's Direct-To System",
Mohsen Ghassemi, Viktor Kuncak, Darko Marinov, Mandana Vaziri, MIT
Laboratory for Computer Science, February 2001.
Presents an implementation-level specification of D2.