TY  - RPRT
TI  - Ten Diverse Formal Models for a CBTC Automatic Train Supervision System
AU  - Franco Mazzanti
AU  - Alessio Ferrari
PY  - 2018
DO  - 10.4204/eptcs.268.4
UR  - https://arxiv.org/abs/1803.10324
ID  - 1803.10324
ER  -