Sascha Konrad Betty H. C. Cheng Facilitating the Construction of Specification Pattern-based Properties. 329-338 2005 conf/re/2005 RE http://doi.ieeecomputersociety.org/10.1109/RE.2005.29 db/conf/re/re2005.html#KonradC05