Model checking early requirements specifications in tropos. (2001)

by A Fuxman, M Pistore, J Mylopoulos, P Traverso
Venue:In RE,