Ein Werkzeug zur automatisierten Flachheitsanalyse nichtlinearer Systeme.