Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System | Publicación