Easing the Development of HLA Federates: The HLA Development Kit and Its Exploitation in the SEE Project | IEEE Conference Publication | IEEE Xplore