Application of the Fault Injection Method for the Verification of the Behavior of Multiple Unmanned Aircraft Systems Flying in Formation