From scenarios to code: An air traffic control case study

Jon Whittle, Richard Kwan, Jyoti Saboo. From scenarios to code: An air traffic control case study. Software and Systems Modeling, 4(1):71-93, 2005. [doi]

Abstract

Abstract is missing.