TITLE     : Experiments in formal modelling of a deadlock avoidance algorithm for a CBTC system
AUTHOR(S) : Mazzanti F, Ferrari A, Spagnolo Go
TYPE      : Conference article
YEAR      : 2016
CODE      : 362673

*** DO NOT EDIT THIS FILE ***