@inproceedings{GibsonMeryMokhtari99,
  author = { Gibson, J. Paul and Méry, Dominique and Mokhtari, Yassine},
  title = {Animating formal specifications - a telephone simulation case study},
  booktitle = {Modelling and Simulation: A tool for the next millenium ESM99},
  publisher = {Society for Computer Simulation International (SCS)},
  year = {1999},
  volume = {II},
  pages = {139--146}
}