Prahladavaradan Sampath Silky Arora S. Ramesh 0002 Evolving specifications formally. 5-14 2011 RE https://doi.org/10.1109/RE.2011.6051651 https://doi.ieeecomputersociety.org/10.1109/RE.2011.6051651 conf/re/2011 db/conf/re/re2011.html#SampathAR11