Using a software architecture description language to model the architecture and run-time performance of a federate | IEEE Conference Publication | IEEE Xplore