SystemLevel Exploration with SpecSyn (1998)

by D Gajski, F Vahid, S Narayan, J Gong
Venue:Proc. DAC