Ein Werkzeug zur automatisierten Flachheitsanalyse nichtlinearer Systeme. - Gregor Verhoeven; Felix Antritter (Autom., 2013)