BabelTrace: A Collection of Transducers for Trace Validation. - Aouatef Mrad; Samatar Ahmed; Sylvain Hallé; Éric Beaudet (RV, 2012)