Case study: Applying formal methods to the Traffic Alert and Collision Avoidance System (TCAS) II | IEEE Conference Publication | IEEE Xplore