Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems | IEEE Conference Publication | IEEE Xplore