Meurig Sage, Chris W. Johnson. Formally verified, rapid prototyping for Air Traffic Control. Rel. Eng. & Sys. Safety, 75(2):121-132, 2002. [doi]
@article{SageJ02, title = {Formally verified, rapid prototyping for Air Traffic Control}, author = {Meurig Sage and Chris W. Johnson}, year = {2002}, doi = {10.1016/S0951-8320(01)00089-8}, url = {http://dx.doi.org/10.1016/S0951-8320(01)00089-8}, researchr = {https://researchr.org/publication/SageJ02}, cites = {0}, citedby = {0}, journal = {Rel. Eng. & Sys. Safety}, volume = {75}, number = {2}, pages = {121-132}, }