Xu, Huan (2013) Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/QDJN-BB72
