Updated example from IFAC submission