Modeling of Equipment Maintenance Support System Domain Library and its Application in HLA Simulation System | IEEE Conference Publication | IEEE Xplore