Julien Calbert, Adrien Banse, Benoît Legat, Raphaël M. Jungers: Dionysos.jl: a Modular Platform for Smart Symbolic Control. Zenodo 2024