Alessio Sacco, Guido Marchetto, Riccardo Sisto, Fulvio Valenza (2020) Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems, In: 2020 16th IEEE International Conference on Factory Communication Systems (WFCS), pp. 1-4
