Fault modeling of general momentum exchange devices in spacecraft attitude control systems. Issue 11 (July 2020)