Test Selection Strategies for Lustre Descriptions in GATeL. - Bruno Marre; Benjamin Blanc (MBT, 2004)

Handling State-Machines Specifications with GATeL. - Benjamin Blanc; Christophe Junke; Bruno Marre; Pascale Le Gall; Olivier Andrieu (MBT@ETAPS, 2010)

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