P. Bhardwaj, C. Purdy, and N. Obeidat "A Novel Way to Design ADS-B using UML and TLA+ with Security as a Focus", Advances in Science, Technology and Engineering Systems Journal, vol. 5, no. 6, pp. 1657–1665, 2020, doi: 10.25046/aj0506197.