@inproceedings{prigent:hal-00517295,
  TITLE = {{Extending translation from SDL to Promela}},
  AUTHOR = {Prigent, Armelle and Cassez, Franck and Dhaussy, Philippe and Roux, Olivier},
  URL = {https://hal.science/hal-00517295},
  BOOKTITLE = {{Atelier S{\'e}Mo'07}},
  ADDRESS = {Grenoble, France},
  YEAR = {2001},
  HAL_ID = {hal-00517295},
  HAL_VERSION = {v1},
}