Amjad Hudaib Carlo Montangero A UML Profile to Support the Formal Presentation of Software Architecture. 217-223 2002 conf/compsac/2002 COMPSAC http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1044555 db/conf/compsac/compsac2002.html#HudaibM02