TITLE     : Statistical model checking of hazards in an autonomous tramway positioning system
AUTHOR(S) : Basile D., Fantechi A., Rucher L., Mandò G.
TYPE      : Conference article
YEAR      : 2019
CODE      : 412702

*** DO NOT EDIT THIS FILE ***