Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application. - Shubhangi Salunkhe; Randolf Berglehner; Abdul Rasheeq (ABZ, 2021)

Automating Model Transformations for Railway Systems Engineering. - Nils Weidmann; Shubhangi Salunkhe; Anthony Anjorin; Enes Yigitbas; Gregor Engels (J. Object Technol., 2021)