Studies on fault detection and diagnosis combinational networks and synthesis of reliable sequential machines