An Architecture for Predictive Maintenance of Railway Points Based on Big Data Analytics. - Giulio Salierno; Sabatino Morvillo; Letizia Leonardi; Giacomo Cabri (CAiSE Workshops, 2020)

Specification and verification of railway safety-critical systems using TLA+: A Case Study. - Giulio Salierno; Sabatino Morvillo; Letizia Leonardi; Giacomo Cabri (WETICE, 2020)