Edwin D. de Jong Jaco van de Pol Jozef Hooman Refinement in Requirements Specification and Analysis: A Case Study. 290-298 2000 conf/ecbs/2000 ECBS http://doi.ieeecomputersociety.org/10.1109/ECBS.2000.839888 db/conf/ecbs/ecbs2000.html#JongPH00