TITLE     : Statistical model checking of a moving block railway signalling scenario with Uppaal SMC. Experience and Outlook
AUTHOR(S) : Basile D, Ter Beek Mh, Ciancia V
TYPE      : Conference article
YEAR      : 2018
CODE      : 394014

*** DO NOT EDIT THIS FILE ***