TY  - RPRT
TI  - Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design
AU  - Alessio Ferrari
AU  - Franco Mazzanti
AU  - Davide Basile
AU  - Maurice H. ter Beek
PY  - 2021
UR  - https://arxiv.org/abs/2101.11303
ID  - 2101.11303
ER  -