Jon Whittle, Jyoti Saboo, Richard Kwan. From Scenarios to Code: An Air Traffic Control Case Study. In Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA. pages 490-497, IEEE Computer Society, 2003. [doi]
Abstract is missing.