TITLE     : Analysing a safe communication protocol in the railway signaling domain with Timed Automata and Statistical Model Checking
AUTHOR(S) : Rosadi I.
TYPE      : Other
YEAR      : 2021
CODE      : 456739

*** DO NOT EDIT THIS FILE ***