1. Ábrahám-Mumm, E., Steffen, M., Hannemann, U.: Verification of hybrid systems: formalization and proof rules in PVS. In: ICECCS. IEEE (2001)
2. Althoff, M., Grebenyuk, D., Kochdumper, N.: Implementation of Taylor models in CORA 2018. In: ARCH. EPiC Series in Computing, vol. 54. EasyChair (2018)
3. Bak, S., Tran, H., Johnson, T.T.: Numerical verification of affine systems with up to a billion dimensions. In: HSCC. ACM (2019)
4. Bauer, N., Kowalewski, S., Sand, G., Löhl, T.: A case study: multi product batch plant for the demonstration of control and scheduling problems. In: ADPM (2000)
5. Benvenuti, L., Bresolin, D., Collins, P., Ferrari, A., Geretti, L., Villa, T.: Assume-guarantee verification of nonlinear hybrid systems with Ariadne. Intl. J. Robust Nonlinear Control 24(4), 699–724 (2014)