We gratefully acknowledge support from
the Simons Foundation and member institutions.

Alessio Ferrari is qualified to endorse.

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design

Alessio Ferrari: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CL, cs.CR, cs.CY, cs.FL, cs.HC, cs.LG, cs.SD, cs.SE. (why?)

Franco Mazzanti, Davide Basile and Maurice H. ter Beek are not registered as owners of this paper. (why?)