Carl Bergenhem. A status protocol for system-operation in a fault-tolerant system - Verification and testing with SPIN. In Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012. pages 1-8, IEEE, 2012. [doi]
Abstract is missing.