Formal Specification of a Voice Communication System Used in Air Traffic Control. - Johann Hörl; Bernhard K. Aichernig (World Congress on Formal Methods, 1999)

Requirements Validation of a Voice Communication System Used in Air Traffic Control. - Johann Hörl; Bernhard K. Aichernig (ICRE, 2000)

Validating Voice Communication Requirements Using Lightweight Formal Methods. - Johann Hörl; Bernhard K. Aichernig (IEEE Softw., 2000)