To be published. Preliminary version available as (1990)

by MATE Approach
Venue:Preliminary version appeared in Proceedings ,/'the loth International Conference on Softwezre Engineering