Huiqun Yu Xudong He Yi Deng Lian Mo A Formal Method for Analyzing Software Architecture Models in SAM. 645-652 2002 conf/compsac/2002 COMPSAC http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1045076 db/conf/compsac/compsac2002.html#YuHDM02