An architectural trade capability using the Ptolemy kernel | IEEE Conference Publication | IEEE Xplore