A. Bourgois, A. Chaabouni, A. Rauh, and L. Jaulin, “Proving the Stability of the Rolling Navigation”, Acta Cybern, vol. 26, no. 1, pp. 5-34, Feb. 2023.