TITLE     : 4SECURail - D.2.1: Specification of formal development demonstrator
AUTHOR(S) : Mazzanti F, Basile D, Fantechi A, Gnesi S, Ferrari A, Piattino A, Masullo L, Trentini D
TYPE      : Other
YEAR      : 2020
CODE      : 438808

*** DO NOT EDIT THIS FILE ***