TITLE     : The 4SECURail case study on rigorous standard interface specifications
AUTHOR(S) : Belli D, Fantechi A, Gnesi S, Masullo L, Mazzanti F, Quadrini L, Trentini D, Vaghi C
TYPE      : Conference article
YEAR      : 2023
CODE      : 486697

*** DO NOT EDIT THIS FILE ***