Westley Weimer Nina Mishra Privately Finding Specifications. 21-32 2008 34 IEEE Trans. Software Eng. 1 http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70744 db/journals/tse/tse34.html#WeimerM08