Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Scenarios, goals, and state machines: a win-win partnership for model synthesis
FSE, 2006.
@inproceedings{FSE-2006-DamasLL,
author = "Christophe Damas and Bernard Lambeau and Axel van Lamsweerde",
booktitle = "{Proceedings of the 14th International Symposium on Foundations of Software Engineering}",
doi = "10.1145/1181775.1181800",
editor = "Michal Young and Premkumar T. Devanbu",
isbn = "1-59593-468-5",
pages = "197--207",
publisher = "{ACM}",
title = "{Scenarios, goals, and state machines: a win-win partnership for model synthesis}",
year = 2006,
}