Flavio Corradini Paola Inverardi Alexander L. Wolf On relating functional specifications to architectural specifications: A case study. 171-208 2006 59 Sci. Comput. Program. 3 http://dx.doi.org/10.1016/j.scico.2005.04.003 db/journals/scp/scp59.html#CorradiniIW06