[Raimi 97]
Raimi, R. & Lear, J. "Analyzing a PowerPCTM 620 Microprocessor Silicon Failure Using Model Checking," 964-973. Proceedings of the International Test Conference 1997, Washington, D.C., November 1-6, 1997.