ADS-B and CPDLC fault modeling for safety assessment in a distributed environment | IEEE Conference Publication | IEEE Xplore