Klaus Röbenack, Daniel Gerbet: Computation of Positively Invariant Sets of the Duffing System and the Nonlinear Pendulum under Bounded Excitation. CoDIT 2020: 271-276