TY  - RPRT
TI  - Formal Methods in Railways: a Systematic Mapping Study
AU  - Alessio Ferrari
AU  - Maurice H. ter Beek
PY  - 2022
DO  - 10.1145/3520480
UR  - https://arxiv.org/abs/2107.05413
ID  - 2107.05413
ER  -