Deriving operational software specifications from system goals. (2002)

by Emmanuel Letier, Axel van Lamsweerde
Venue:In Proceedings of the 10th International Symposium on Foundations of Software Engineering (FSE’02),