Axel van Lamsweerde Requirements engineering: from craft to discipline. 238-249 2008 SIGSOFT FSE http://doi.acm.org/10.1145/1453101.1453133 conf/sigsoft/2008 db/conf/sigsoft/fse2008.html#Lamsweerde08