RBS2HLL - A Formal Modeling of Relay-Based Interlocking. - Naïm Aber; Benjamin Blanc; Nathalie Ferkane; Mohand Meziani; Julien Ordioni (RSSRail, 2019)