@inproceedings{dsrtdemo,
  author    = {A. R. Cavalli, E. Montes De Oca, W. Mallouli, M. Lallali},
  title     = "{Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints}",
  booktitle = {The 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT)},
  year      = {2008},
  address   = {Vancouver, British Columbia, Canada},
  month     = {October 27-29,},
}