ByNobleID
    Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic | NobleID