Shaoying Liu Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications. 105-113 2008 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.39 conf/qsic/2008 db/conf/qsic/qsic2008.html#Liu08