TITLE     : Uppaal models and experiments for the paper: "Formal Analysis of the UNISIG Safety Application Intermediate Sublayer." (FMICS2021)
AUTHOR(S) : Basile D, Rosadi I
TYPE      : Software
YEAR      : 2021
CODE      : 456751

*** DO NOT EDIT THIS FILE ***