@inproceedings{sacco2020work,
  title={Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems},
  author={Sacco, Alessio and Marchetto, Guido and Sisto, Riccardo and Valenza, Fulvio},
  booktitle={2020 16th IEEE International Conference on Factory Communication Systems (WFCS)},
  pages={1--4},
  year={2020},
  organization={IEEE}
}