TITLE     : The Uppaal SMC models developed for the ASTRail project and experiments, published at Isola2018 and FMICS2019
AUTHOR(S) : Basile D
TYPE      : Software
YEAR      : 2019
CODE      : 456754

*** DO NOT EDIT THIS FILE ***