TITLE     : On spatio-temporal model-checking of vehicular movement in public transport systems
AUTHOR(S) : Ciancia V, Gilmore S, Grilletti G, Latella D, Loreti M, Massink M
TYPE      : Other
YEAR      : 2016
CODE      : 362866

*** DO NOT EDIT THIS FILE ***