A General Mathematical Model for non-Redundant Fault-Tolerant Inverters