An Approach to Use System Models to Assist in the Definition of Test Procedures 1 1This research work was performed within the ARCO project. The Inter-ministerial Commission for Science and Technology of the Government of Spain, CICYT, partially supports the Project ARCO Ref. TIC98-0782. | Publicación