Building parallel time-constrained HLA federates: a case study with the PARSEC parallel simulation language | IEEE Conference Publication | IEEE Xplore