A tool for automatic formal modeling of railway interlocking systems. - Muhammed Ali Nur Oz; Ibrahim Sener; Ozgur Turay Kaymakci; Ilker Üstoglu; Galip Cansever (EUROCON, 2015)

Topology Based Automatic Formal Model Generation for Point Automation Systems. - Muhammet Ali Nur Oz; Ibrahim Sener; Ozgur Turay Kaymakci; Ilker Üstoglu; Galip Cansever (Inf. Technol. Control., 2015)