From Scenarios to Code: An Air Traffic Control Case Study.

Jon Whittle, Jyoti Saboo, Richard Kwan

Browse the full ICSE paper archive.