Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal. Applications of Model Checking at Honeywell Laboratories. In Matthew B. Dwyer, editor, Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings. Volume 2057 of Lecture Notes in Computer Science, pages 296-303, Springer, 2001. [doi]
Abstract is missing.