Support Formal Component-Based Development with UML Profile | IEEE Conference Publication | IEEE Xplore