Extensions to the High Level Architecture run-time infrastructure specification.