Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems. - Tobias Bachmann; Djurre van der Wal; Machiel van der Bijl; Daan van der Meij; Ana Oprescu (ICST, 2022)