Title: An ADA model of the AEGIS radar scheduler
Subjects: Computer science