Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems