A Tool for Functional Verfication of System Level Model Refinements

S. Abdi and D. Gajski, "A Tool for Functional Verfication of System Level Model Refinements," TR 05-15, October 2005. download pdf