ByNobleID
    Formal verification of a gain scheduling control scheme | NobleID