Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System. - Gabriel Huecas; Tomás Robles 001; L. M. Gonzalez; J. Serrano (FORTE, 1998)