A. Rauh, A. Bourgois, and L. Jaulin, “Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures”, Acta Cybern, vol. 26, no. 2, pp. 267-291, May 2022.