selected publications conference paper On modeling and testing components of the European Train Control System. . 2014