TITLE     : Formal modeling and initial analysis of the 4SECURail case study
AUTHOR(S) : Mazzanti F, Belli D
TYPE      : Conference article
YEAR      : 2022
CODE      : 465486

*** DO NOT EDIT THIS FILE ***