A UML profile to support the formal presentation of software architecture | IEEE Conference Publication | IEEE Xplore