Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso. Model Checking Early Requirements Specifications in Tropos. In 5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada. pages 174-181, IEEE Computer Society, 2001. [doi]
Abstract is missing.