Automated validation of software models (2001)

by Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville
Venue:In ASE