Merging Railway Standard Notations in a Formal DSL-Based Framework. - Asfand Yar; Akram Idani; Simon Collart Dutilleul (ECSA Companion, 2020)

Visual animation of B specifications using executable DSLs. - Asfand Yar; Akram Idani; Yves Ledru; Simon Collart Dutilleul (MoDELS (Companion), 2022)

An xDSL-Based Framework for Validation of Railway Models: Application to ERTMS/ETCS and EULYNX. (Un cadre basé sur les DSL exécutables pour la validation des modèles ferroviaires: application à ERTMS/ETCS et EULYNX). - Asfand Yar (2023)

An Iterative Formal Model-Driven Approach to Railway Systems Validation. - Asfand Yar; Akram Idani; Yves Ledru; Simon Collart Dutilleul; Amel Mammar; Germán Vega (ICECCS, 2024)