The 4SECURail Case Study on Rigorous Standard Interface Specifications. - Dimitri Belli; Alessandro Fantechi; Stefania Gnesi; Laura Masullo; Franco Mazzanti; Lisa Quadrini; Daniele Trentini; Carlo Vaghi (FMICS, 2023)