Zaslat SMS: Product assurance technology for custom LSI/VLSI electronics : report for period October 1982 - September 1984 / M.G. Buehler [and others].