Day, S., Junge, O., &; Mischaikow, K. (2005). Towards Automated Chaos Verification. In EQUADIFF 2003.https://doi.org/10.1142/9789812702067_0014