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