Boumediene Belkhouche Sonal Dekhane Analysis goal expression language. 53-58 2007 conf/ACMse/2007 ACM Southeast Regional Conference http://doi.acm.org/10.1145/1233341.1233352 db/conf/ACMse/ACMse2007.html#BelkhoucheD07