MARTE: Also an UML Profile for Modeling AADL Applications | IEEE Conference Publication | IEEE Xplore