This work tackles two research threads. The first thread evaluates the use of conventional design versus electronic engine control by applying real-time control theory. The second thread, which will be explored in a longer version of this paper, presents a formal method that determines if the system matches the specifications. 1