Suresh C. Gupta, Mukul K. Sinha. Design Validation Using Probe Mechanism. In Jan van Leeuwen, editor, Algorithms, Software, Architecture - Information Processing 92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992. Volume A-12 of IFIP Transactions, pages 24-31, North-Holland, 1992.