Generating and Verifying Configuration Data with OVADO. - Frédéric Badeau; Julien Chappelin; Joris Lamare (RSSRail, 2022)