@article{jouault:hal-01006656,
  TITLE = {{Transformation de mod{\`e}les UML vers Fiacre, via les langages interm{\'e}diaires tUML et ABCD}},
  AUTHOR = {Jouault, Fr{\'e}d{\'e}ric and Teodorov, Ciprian and Delatour, J{\'e}r{\^o}me and Le Roux, Luka and Dhaussy, Philippe},
  URL = {https://hal.science/hal-01006656},
  JOURNAL = {{G{\'e}nie logiciel : le magazine de l'ing{\'e}nierie du logiciel et des syst{\`e}mes}},
  PUBLISHER = {{G{\'e}nie industriel multim{\'e}dia}},
  VOLUME = {109},
  PAGES = {xx},
  YEAR = {2014},
  MONTH = Jun,
  KEYWORDS = {mod{\'e}lisation ; model-checking ; syst{\`e}mes embarqu{\'e}s ; UML},
  HAL_ID = {hal-01006656},
  HAL_VERSION = {v1},
}