Yujian Fu Zhijiang Dong Xudong He An Approach to Validation of Software Architecture Model. 375-384 2005 conf/apsec/2005 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.33 db/conf/apsec/apsec2005.html#FuDH05