@InProceedings{aswec06,
  author =	 {Andreas Bauer and Martin Leucker and Christian
                  Schallhart},
  title =	 {Model-based runtime analysis of distributed reactive
                  systems},
  booktitle =	 {Proceedings of the 2006 Australian Software
                  Engineering Conference (ASWEC)},
  year =	 2006,
  pages =        {243--252},
  month =	 Apr,
  publisher =	 {IEEE Computer Society},
  address =      {Los Alamitos, CA},
  isbn    =      {0-7695-2551-2}
}