Antony Tang Hans van Vliet Modeling constraints improves software architecture design reasoning. 253-256 2009 WICSA/ECSA http://dx.doi.org/10.1109/WICSA.2009.5290813 conf/wicsa/2009 db/conf/wicsa/wicsa2009.html#TangV09