Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt. Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. In Thomas Ball, Sriram K. Rajamani, editors, Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings. Volume 2648 of Lecture Notes in Computer Science, pages 34-48, Springer, 2003. [doi]
Abstract is missing.