In this note. the application of a plant model-based fault detection method for nonlinear control systems on aircraft takeoff is introduced. This method utilizes non-deterministic finite-state automata. which approximate the fault-free dynamics of the plant. https://www.roneverhart.com/Gretsch-G5210T-P90-Electromatic-Jet-Two-90-Single-Cut-Electric-Guitar-w-Bigsby-Mako-p23063/