Frage zu Artikel "Formal Methods for Control of Nonlinear Systems"