AirborneCPS: A Simulator for Functional Dependencies in Cyber Physical Systems: A Traffic Collision Avoidance System Implementation. - William Cook; Andrew Driscoll; Bastian Tenbergen (RESACS@RE, 2018)