Examples:
Non-linear model: Plane Landing on an Aircraft Carrier is a standard model used in the literature to illustrate modeling and simulation of non-linear systems. CAMP-G is used to generate the model and ACSL for simulation using nonlinear functions, libraries and features from ACSL.