Christophe Damas Bernard Lambeau Pierre Dupont Axel van Lamsweerde Generating Annotated Behavior Models from End-User Scenarios. 1056-1073 2005 31 IEEE Trans. Software Eng. 12 http://doi.ieeecomputersociety.org/10.1109/TSE.2005.138 db/journals/tse/tse31.html#DamasLDL05