<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5567</REFNUM><AUTHORS><AUTHOR>Sage,M.</AUTHOR><AUTHOR>Johnson,C.W.</AUTHOR></AUTHORS><YEAR>1999</YEAR><TITLE>Formally Verified Rapid Prototyping for Air Traffic Control</TITLE><PLACE_PUBLISHED>Proceedings of the Third Workshop on Human Error, Safety and Systems Development </PLACE_PUBLISHED><PUBLISHER>Psychologie du Travail et des Entreprises, Universite de Liege</PUBLISHER><PAGES>-</PAGES><LABEL>Sage:1999:5567</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>