@InProceedings{Dingel2002,
      AUTHOR = {Dingel, Juergen and Garlan, David and Damon, Craig},
      TITLE = {Bridging the HLA: Problems and Solutions},
      YEAR = {2002},
      MONTH = {11-13 October},
      BOOKTITLE = {Sixth IEEE International Workshop on Distributed Simulation and Real Time Applications (DS-RT '02)},
      ADDRESS = {Fort Worth, TX},
      PDF = {http://www.cs.cmu.edu/afs/cs/project/able/ftp/dsrt02/dsrt-distrib.pdf},
      ABSTRACT = {The High-Level Architecture (HLA) provides a common architecture for distributed modeling and simulation. In its original form, the HLA allows a number of simulations to be joined together into a federation using a single run time infrastructure. Recently there has been an interest in joining multiple such federations together using a mediating unit, called an HLA },
      KEYWORDS = {Formal Methods, Software Architecture}
}