The High Level Architecture run-time infrastructure specification.