A Model-based diagnosis method for transient and multiple faults of AOCS thrusters. Issue 17 (2016)