Robert Allen David Garlan Formal Modeling and Analysis of the HLA Component Integration Standard. 70-79 1998 SIGSOFT FSE http://doi.acm.org/10.1145/288195.288251 db/conf/sigsoft/fse98.html#AllenG98