Fault tree analysis for the communication of a fleet formation flight of UAVs
basic concepts and taxonomy of dependable and secure computing .