Paper on the formal analysis and test generation for the EULYNX Point interface accepted at ESREL 2020 PSAM 15

The paper What is the Point: Formal Analysis and Test Generation for a Railway Standard by Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga and Arend Rensink has been accepted for presentation at ESREL 2020 PSAM 15, which will take place in Venice, Italy in November 2020. The paper is written in the context of the FormaSig project, which is a collaboration of DB Netz A.G., Eindhoven University of Technology, ProRail and the University of Twente.