Fault diagnosis for SHA/EMA redundant system based on bond graph model