ByNobleID
    Computer Algebra for Analysis and Design of Nonlinear Control Systems | NobleID