abs-1003-0554'

@inproceedings{DBLP:journals/corr/abs-1003-0554,
  author    = {Lo\"{\i}c Besnard and
               Thierry Gautier and
               Julien Ouy and
               Jean-Pierre Talpin and
               Jean-Paul Bodeveix and
               Alexandre Cortier and
               Marc Pantel and
               Martin Strecker and
               G. Garcia and
               A. Rugina and
               J{\'e}r{\'e}my Buisson and
               Fabien Dagnat},
  title     = {Polychronous Interpretation of Synoptic, a Domain Specific
               Modeling Language for Embedded Flight-Software},
  booktitle = {FMA},
  year      = {2009},
  pages     = {80-87},
  ee        = {http://dx.doi.org/10.4204/EPTCS.20.9},
  crossref  = {DBLP:journals/corr/abs-1003-5363},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:journals/corr/abs-1003-5363,
  editor    = {Manuela L. Bujorianu and
               Michael Fisher},
  title     = {Proceedings FM-09 Workshop on Formal Methods for Aerospace},
  booktitle = {FMA},
  series    = {EPTCS},
  volume    = {20},
  year      = {2009},
  ee        = {http://dx.doi.org/10.4204/EPTCS.20},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}