Richard Auletta, Cherrice Traver. Rapid-prototyping of high-assurance systems. In Third Great Lakes Symposium on Design Automation of High Performance VLSI Systems, Kalamazoo, MI, USA, March 5-6, 1993. pages 85-89, IEEE, 1993. [doi]
Abstract is missing.