TITLE : 4SECURail - Revised requirements of the 4SECURail case study AUTHOR(S) : Mazzanti F, Belli D TYPE : Other YEAR : 2021 CODE : 457140 *** DO NOT EDIT THIS FILE ***