[IEEE AUTOTESTCON '88. Symposium Proceedings IEEE International Automatic Testing Conference, Futuretest. - Minneapolis, MN, USA (4-6 Oct. 1988)] AUTOTESTCON '88. Symposium Proceedings IEEE International Automatic Testing Conference, Futuretest. - A case for Ada TPS programs