%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% bibliographie SYNCHRONE (en cours)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{maraninchi-concur92,
  author    = {Florence Maraninchi},
  title     = {Operational and Compositional Semantics of Synchronous Automaton
               Compositions},
  booktitle = {CONCUR},
  year      = {1992},
  pages     = {550-564}
}

@Book{meyer-eiffel88,
  author = 	 {Bertrand Meyer},
  title = 	 {Eiffel: An Introduction},
  publisher = 	 {Interactive Software Eng},
  year = 	 1988}

@Misc{pilaud-policy-init09,
  author = 	 {Daniel Pilaud},
  title = 	 {Personnal communication},
  month = 	 {March},
  year = 	 2009}

% presentation generale
@InCollection{harel-pnueli85,
  author = 	 {David Harel and Amir Pnueli},
  title = 	 {On the development of reactive systems},
  booktitle = 	 {Logic and Models of Concurrent Systems},
  pages =	 {477--498},
  publisher =	 {Springer Verlag},
  year =	 1985,
  volume =	 13,
  series =	 {NATO ASI Series}
}

@BOOK{spbook93,
       AUTHOR={N. Halbwachs},
       TITLE={Synchronous programming of reactive systems},
       PUBLISHER={Kluwer Academic Pub.},
       YEAR={1993}
       }

@Book{edwards00,
  author =	 {Stephen A. Edwards},
  title = 	 {Languages for Digital Embedded Systems},
  publisher = 	 {Kluwer},
  year = 	 2000,
  address =	 {Boston}
}

@INPROCEEDINGS{sptutorial98,
       AUTHOR = {N. Halbwachs},
       TITLE={Synchronous programming of reactive
       systems, a tutorial and commented bibliography},
       BOOKTITLE={Tenth International Conference on
       Computer-Aided Verification, CAV'98},
       address={Vancouver (B.C.)},
       PUBLISHER = {LNCS 1427, Springer Verlag},
       month = jun,
       year = 1998
       }

@BOOK{synchronous-halbwachs,
AUTHOR={N. Halbwachs},
TITLE={Synchronous programming of reactive systems},
PUBLISHER={Kluwer Academic Pub.},
YEAR={1993}
}


@article{synchronous-twelve-years-later,
author={A. Benveniste and P. Caspi and  S.A. Edwards and N. Halbwachs and P.
{Le Guernic} and  R. {de Simone}},
title={The synchronous languages 12 years later},
journal={Proceedings of the IEEE},
volume=91,
number=1,
month=jan,
year=2003
}


@PhdThesis{these-note07,
  author = 	 {Jean-Baptiste Note},
  title = 	 {Compilation automatique pour les FPGAs},
  school = 	 {Universit\'e Pierre et Marie Curie},
  year = 	 2007}

@InProceedings{jazz-merz-bourdoncle97,
  author = 	 {François Bourdoncle and Stephan Merz},
  title = 	 {Type checking higher-order polymorphic multi-methods},
  booktitle = {Annual Symposium on Principles of Programming Languages},
  year = 	 1997,
  address = 	 {Paris, France},
  organization = {SIGPLAN-SIGACT},
  publisher = {ACM }}

@INPROCEEDINGS{sas99,
     AUTHOR = {B. Jeannet and N. Halbwachs and P. Raymond},
     TITLE={Dynamic Partitioning in Analyses of Numerical
     Properties},
     BOOKTITLE={Static Analysis Symposium, SAS'99},
     address={Venezia (Italy)},
     month = sep,
     year=1999,
     note= {{\tt http://www-verimag.imag.fr/SYNCHRONE/papers.html}}}

@article{polka:fmsd:97,
     author={N. Halbwachs and Y.E. Proy and P. Roumanoff},
     title={Verification of real-time systems using
            linear relation analysis},
     journal={Formal Methods in System Design},
     year={1997},
     month={August},
     volume={11},
     number={2},
     pages={157--185},
     publisher={Kluwer},
     note= {{\tt http://www-verimag.imag.fr/SYNCHRONE/papers.html}}}


@InProceedings{lustre:rocheteau91,
  author = 	 {Fr\'ed\'eric Rocheteau and Nicolas Halbwachs},
  title = 	 {{POLLUS: A LUSTRE based hardware design environment}},
  booktitle = {Algorithms and Parallel VLSI Architectures},
  pages = 	 {335-346},
  year = 	 1991}

@InProceedings{lustre:amblard05,
  author = 	 {Paul Amblard},
  title = 	 {{Using Lustre in Practical Educational Activities : 
                   Digital Circuits Design, Formal Languages}},
  booktitle = {ETAPS Workshop : Synchronous Language Applications 
               Programming, SLAP 05},
  year = 	 2005,
  address = 	 {Edinburgh},
  month = 	 {April}}

@INPROCEEDINGS{halbwachs94c,
        AUTHOR={N. Halbwachs},
        TITLE={About synchronous programming and abstract interpretation},
        BOOKTITLE={International Symposium on Static Analysis, SAS'94},
        EDITOR = {B. {LeCharlier}},
        PUBLISHER = {LNCS 864, Springer Verlag},
        ADDRESS = {Namur (belgium)},
        MONTH = {September},
        YEAR= 1994,
       note= {{\tt http://www-verimag.imag.fr/SYNCHRONE/papers.html}}}

@InProceedings{halbwachs:stability,
         title={Stability of discrete sampled systems},
         author={N. Halbwachs and {J.-F.} H\'ery and {J.-C.} 
                 Laleuf and X. Nicollin},
         booktitle={FTRTFT'200},
         publisher={LNCS 1926},
         address={Pune, India},
         month=sep,
         year=2000,
         note = {http://www-verimag.imag.fr/SYNCHRONE/papers.html}
       }

@InProceedings{dumas:lpar00, 
  author =  {C. Dumas and P. Caspi}, 
  title =  {A {P}{V}{S} Proof Obligation Generator for 
           {L}ustre Programs}, 
  booktitle =  {7th International Conference on 
                Logic for Programming and Automated Reasoning }, 
  year =  2000, 
  volume =  1955, 
  series =  {Lecture Notes in Artificial Intelligence},
  note= {{\tt http://www-verimag.imag.fr/SYNCHRONE/papers.html}}}
} 


% combinaison de formalismes
@InProceedings{poigne97,
  author = 	 {Axel Poign\'e and Leszek Holenderski},
  title = 	 {On the Combination of Synchronous Languages},
  booktitle = 	 {Workshop on Compositionality: The Significant Difference},
  pages =	 {490-514},
  year =	 1997,
  editor =	 {W.P.de Roever},
  volume =	 {LNCS 1536},
  address =	 {Malente},
  month =	 {September 8-12},
  publisher =	 {Springer Verlag}
}

@InProceedings{budde99,
  author = 	 {Reinhard Budde and G. Michele Pinna and Axel Poign\'e},
  title = 	 {Coordination of Synchronous Programs},
  booktitle = 	 {International Conference on Coordination Languages
                  and Models},
  year =	 {1999 },
  number =	 1594,
  series =	 {Lecture Notes in Computer Science}
}

@InProceedings{jourdan,
  author = 	 "M.~Jourdan and F.~Lagnier and P.~Raymond and F.~Maraninchi",
  title = 	 "A multiparadigm language for reactive systems",
  booktitle = "5th IEEE International Conference on Computer Languages",
  year = 	 "1994",
  publisher = "IEEE Computer Society Press",
  address = 	 "Toulouse",
  month = 	 "May"
}

% esterel
@Article{esterel:ifip89,
  author = 	 "G.~Berry",
  title = 	 "Real time programming: Special purpose or general
		  purpose languages",
  journal = 	 "Information Processing",
  year = 	 "1989",
  volume = 	 "89",
  pages = 	 "11-17"
}

@Article{esterel:scp92,
  author = 	 "G.~Berry and G.~Gonthier",
  title = 	 "The {Esterel} synchronous programming language,
		  design, semantics, implementation",
  journal = 	 "Science of Computer Programming",
  year = 	 "1992",
  volume = 	 "19",
  number = 	 "2",
  pages = 	 "87-152"
}

@PhdThesis{esterel:gonthier88,
  author = 	 {Georges Gonthier},
  title = 	 {S\'emantiques et mod\`eles d'ex\'ecution des langages
                  r\'eactifs synchrones},
  school = 	 {Universit\'e Paris VI, Paris},
  year = 	 1988}

@TechReport{esterel:watch89,
  author = 	 {G\'erard Berry},
  title = 	 {Programming a Digital Watch in Esterel V3},
  institution =  {INRIA},
  year = 	 1989,
  number =	 1032
}


@Unpublished{esterel:constructive99,
  author = 	 {G\'erard Berry},
  title = 	 {The Constructive Semantics of Pure Esterel},
  note = 	 {Draft book},
  year =	 1999
}

@Unpublished{esterel:primer99,
  author = 	 {G\'erard Berry},
  title = 	 {The Esterel v5 Language Primer, Version 5.21 release 2.0},
  note = 	 {Draft book},
  year =	 1999
}


@InProceedings{tardieu:sos04,
  author = 	 {Olivier Tardieu},
  title = 	 {{A Deterministic Logical Semantics for Esterel}},
  booktitle =	 {SOS Workshop},
  year =	 2004,
  address =	 {London, United Kingdom},
  month =	 {August}
}

@InProceedings{tardieu:memocode04,
  author = 	 {Olivier Tardieu and Robert de Simone},
  title = 	 {{Curing Schizophrenia by Program Rewriting in Esterel}},
  booktitle =	 {Methods and Models for Codesign},
  year =	 2004,
  address =	 {San Diego, USA},
  month =	 {June}
}


@InProceedings{tardieu:slap04,
  author = 	 {Olivier Tardieu},
  title = 	 {{Goto and Concurrency: Introducing Safe Jumps in Esterel}},
  booktitle =	 {Synchronous Languages, Applications, and Programming},
  year =	 2004,
  address =	 {Barcelona, Spain},
  month =	 {March}
}


@InProceedings{tardieu:sas03,
  author = 	 {Olivier Tardieu and Robert de Simone},
  title = 	 {{Instantaneous Termination in Pure Esterel}},
  booktitle =	 {Static Analysis Symposium},
  year =	 2003,
  address =	 {San Diego, USA},
  month =	 {June}
}


@Misc{maraninchi-expose-synchron08,
  author = 	 {Florence Maraninchi},
  title = 	 {Using ReactiveML for the modeling and simulation of 
                  embedded systems},
  month = 	 {December},
  year = 	 2008,
  howpublished = {Annual Workshop SYNCHRON on Synchronous Programming},
  note =         {http://synchron2008.lri.fr/programme.html},
 address = 	 {Aussois, France}
}

@PhdThesis{tardieu:these04,
  author = 	 {Olivier Tardieu},
  title = 	 {{Loops in Esterel: from Operational Semantics to
                  Formally Specified Compilers}},
  school = 	 {Ecole des Mines de Paris},
  year = 	 2004,
  month =	 {september}
}

@ARTICLE{esterel:tsi87,
AUTHOR = {{G.  Berry, P.  Couronn\'e et  G.  Gonthier}},
TITLE = {Programmation synchrone des syst\`emes r\'eactifs , 
         le langage {Esterel}},
JOURNAL = {Technique et Science Informatique}, 
VOLUME = 4,
PAGES = {305--316}, 
YEAR = 1987
}

% lustre et signal
@INPROCEEDINGS{lustre:plilp91,
             AUTHOR = {N. Halbwachs and P. Raymond and C. Ratel},
             TITLE = {Generating Efficient Code From Data-Flow Programs},
             BOOKTITLE =  {Third International Symposium on
             Programming Language Implementation and Logic Programming},
             ADDRESS={Passau (Germany)},
             MONTH = {August},
             YEAR = 1991
          }

@INPROCEEDINGS{lustre:story05,
             AUTHOR = {N. Halbwachs},
             TITLE = {A Synchronous Language at Work: the Story of Lustre},
             BOOKTITLE =  {Third ACM-IEEE International Conference on 
                           Formal Methods and Models 
                           for Codesign (MEMOCODE)},
             ADDRESS = {Verona, Italy},
             MONTH = {July},
             YEAR = 2005
          }

@UNPUBLISHED{lustre:tutorial02,
      AUTHOR={N. Halbwachs and Pascal Raymond},
      TITLE={{A tutorial of Lustre}},
      YEAR={2002},
      NOTE={\url{http://www-verimag.imag.fr/SYNCHRONE/}}
   }
@INPROCEEDINGS{rts85,
AUTHOR = {J. L. Bergerand and P.  Caspi  and N. Halbwachs and D. Pilaud
and N. Pilaud},
TITLE = {Outline of a real time data-flow language},
BOOKTITLE = {Real Time Systems Symp., San Diego },
MONTH = {December},
YEAR = {1985}
}

@ARTICLE{lustre:ieee91,
AUTHOR = {N.  Halbwachs and P. Caspi and P. Raymond and D. Pilaud},
TITLE = {The Synchronous Dataflow Programming Language {\sc Lustre}},
JOURNAL = {Proceedings of the IEEE},
VOLUME={79},
NUMBER={9},
MONTH = {September},
PAGES = {1305-1320},
YEAR = 1991
}


@PhdThesis{lustre:these-raymond91,
  author = 	 {Pascal Raymond},
  title = 	 {Compilation efficace d'un langage d\'eclaratif synchrone: 
                  le g\'en\'erateur de code Lustre-v3},
  school = 	 {Institut National Polytechnique de Grenoble},
  year = 	 1991
}

@Unpublished{xsimlus,
  author =       {Pascal Raymond},
  title =        {{Xsimlus, a graphical simulator for {Lustre} programs}},
  note =         {{Available in the distribution of Lustre. 
                  Web: {\tt http://www-verimag.imag.fr}}}
}

@TechReport{lustre:compilation-separee88,
  author = 	 {Pascal Raymond},
  title = 	 {{Compilation s\'epar\'ee de programmes Lustre}},
  institution =  {Projet SPECTRE, IMAG},
  month = {juillet},
  year = 	 1988
}


@TechReport{signal:benveniste-guernic-aubry97,
  author =       {Albert Benveniste and Paul Le Guernic and Pascal Aubry},
  title =        {Compositionality in Dataflow Synchronous Languages:
                  Specification \& Code Generation},
  institution =  {INRIA},
  year =         1997,
  number =    {R3310},
  month =     {November}}

@inproceedings{signal:maffeis-guernic94,
 author = {Olivier Maffe\"{\i}s and Paul Le Guernic},
 title = {Distributed Implementation of SIGNAL: Scheduling \& Graph Clustering},
 booktitle = {ProCoS: Proceedings of the Third International 
              Symposium Organized Jointly with the Working Group 
              Provably Correct Systems on Formal Techniques in 
              Real-Time and Fault-Tolerant Systems},
 year = {1994},
 isbn = {3-540-58468-4},
 pages = {547--566},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@InProceedings{lustre:tripakis-popl09,
  author =       {R. Lublinerman and C. Szegedy and S. Tripakis},
  title =        {{Modular Code Generation from Synchronous 
                  Block Diagrams --- Modularity vs. Code Size}},
  booktitle = {ACM Principles of Programming Languages (POPL)},
  year =      2009}


@InProceedings{lustre:tripakis-estimedia08,
  author =       {R. Lublinerman and S. Tripakis},
  title =        {Translating Data Flow to Synchronous Block Diagrams},
  booktitle = {ESTIMedia},
  year =      2008}


@InProceedings{lustre:tripakis-nsv08,
  author =       {R. Lublinerman and S. Tripakis},
  title =        {Modular Code Generation from Synchronous Block Diagrams},
  booktitle = {1st Intl. Workshop on Numerical Abstractions 
               for Software Verification (NSV'08)},
  year =      2008}


@InProceedings{lustre:tripakis-rtas08,
  author =       {R. Lublinerman and S. Tripakis},
  title =        {Modular Code Generation from Triggered and 
                  Timed Block Diagrams},
  booktitle = {Real-Time and Embedded Technology and Applications 
               Symposium (RTAS'08)},
  year =      2008}

@InProceedings{lustre:tripakis-date08,
  author =       {R. Lublinerman and S. Tripakis},
  title =        {Modularity vs. Reusability: Code Generation from 
                  Synchronous Block Diagrams},
  booktitle = {Design, Automation and Test in Europe (DATE'08)},
  year =      2008}

@Manual{lustre:dc95,
  title = 	 {The declarative code DC, version 1.2a},
  author =	 {N. Halbwachs},
  organization = {V\'erimag},
  address =	 {Grenoble, France},
  year =	 {1995},
  month =	 {October},
  note =	 {unpublished report}
}


@InProceedings{lustre:girault-survey-distribution05,
  author = 	 {Alain Girault},
  title = 	 {A Survey of Automatic Distribution Method for 
                  Synchronous Programs},
  booktitle =	 {International Workshop on Synchronous Languages, 
                  Applications and Programs (SLAP)},
  year =	 2005,
  address =	 {Edinburg, UK},
  month =	 {April},
  publisher =	 {ENTCS}
}

@InProceedings{signal:pldi,
  author = 	 {T. Amagbegnon and L. Besnard and  P. Le Guernic.},
  title = 	 {Implementation of the Data-flow Synchronous Language Signal},
  booktitle = 	 {Programming Languages Design and Implementation (PLDI)},
  pages =	 {163-173},
  year =	 1995,
  publisher =	 {ACM}
}


@InProceedings{signal:samarandache99,
  author = 	 {Irina M. Smarandache and Thierry Gautier and
                  Paul Le Guernic},
  title = 	 {Validation of Mixed SIGNAL-ALPHA Real-Time Systems 
                  through Affine Calculus on Clock Synchronisation 
                  Constraints},
  booktitle =	 {World Congress on Formal Methods},
  pages =	 {1364-1383},
  year =	 1999
}

@TechReport{signal:samarandache97,
  author = 	 {Irina Samarandache and Paul Le Guernic},
  title = 	 {A Canonical Form for Affine Relations in Signal},
  institution =  {INRIA},
  year = 	 1997,
  number =	 3097,
  month =	 {Feb}
}

@InProceedings{signal:rutten95,
  author = 	 {Eric Rutten and F. Martinez},
  title = 	 { {SignalGTi: implementing task preemption 
                   and time intervals in the synchronous data 
                   flow language Signal}},
  booktitle = 	 {Euromicro Workshop on Real Time Systems},
  pages =	 {176--183},
  year =	 1995,
  address =      {Odense, Denmark},
  publisher =	 {IEEE}
}

@TechReport{signal:dcplus97,
  author = 	 {Sacres consortium},
  title = 	 {The Declarative Code dc+ , version 1.4},
  institution =  {Esprit project EP 20897 : Sacres},
  year = 	 {1997}}

@INPROCEEDINGS{signal:code-gen99,
AUTHOR = {Thierry Gautier and Paul Le Guernic},
TITLE = {Code generation in the SACRES project},
BOOKTITLE = {Towards System Safety, Proceedings of the Safety-critical
             Systems Symposium, SSS'99},
PUBLISHER= {Springer},
YEAR = 1999,
MONTH ={Feb},
ADDRESS = {Huntingdon, UK},
PAGES ={127-149}
}

@INPROCEEDINGS{caspi94,
AUTHOR = {P. Caspi},
TITLE = {Towards Recursive Block Diagrams},
BOOKTITLE = {19th IFAC/IFIP Workshop on Real Time Programming WRT'94},
PUBLISHER= {IFAC},
YEAR = 1994,
ADDRESS = {Lake Constance, Germany}
}

@INPROCEEDINGS{kahn74,
AUTHOR = {Gilles Kahn},
TITLE = {The semantics of a simple language for parallel programming},
BOOKTITLE = {IFIP 74 Congress}, 
PUBLISHER = {North Holland, Amsterdam},
YEAR = 1974
}

@InProceedings{kahn77,
  author = 	 {Gilles Kahn and David B. MacQueen},
  title = 	 {Coroutines and Networks of Parallel Processes},
  booktitle =	 {IFIP Congress},
  pages =	 {993-998},
  year =	 1977
}

@Article{signal:scp91,
  author = 	 "A.~Benveniste and P.~LeGuernic and Ch. Jacquemot",
  title = 	 "Synchronous programming with events and relations:
		  the {SIGNAL} language and its semantics",
  journal = 	 "Science of Computer Programming",
  year = 	 "1991",
  volume = 	 "16",
  pages = 	 "103-149"
}

@Article{signal:ic92,
  author = 	 "Albert Benveniste and Paul Le Guernic and Yves Sorel and Michel Sorine",
  title = 	 "A denotational theory of synchronous reactive systems",
  journal = 	 "Information and Computation",
  year = 	 "1992",
  volume = 	 "99",
  number =       "2",
  pages = 	 "192-230"
}

@ARTICLE{signalb,
AUTHOR = {A. Benveniste and P. LeGuernic},
TITLE = {Hybrid dynamical systems theory and the {SIGNAL} language},
JOURNAL = {IEEE Trans. Automat. Contr.},
VOLUME = {35},
PAGES = {535--546},
YEAR = 1990
}

@ARTICLE{benveniste-distribution00,
AUTHOR = {A. Benveniste and B. Caillaud and P. Le Guernic},
TITLE = {Compositionality in dataflow synchronous languages: specification \& distributed code generation},
JOURNAL = {Information and Computatin},
VOLUME = {163},
PAGES = {125--171},
YEAR = 2000
}

@Article{lustre-distribution99,
  author = 	 {P. Caspi and A. Girault and D. Pilaud},
  title = 	 {Automatic Distribution of Reactive Systems for
                  Asynchronous Networks of Processors},
  journal = 	 {IEEE Transactions on Software Engineering},
  year = 	 {1999},
  volume =	 {25},
  number =	 {3},
  month =	 {May/June},
  pages =	 {416--427},
  note =	 {Research report INRIA 3491}
}

@Article{reactive-modules,
  author = 	 {Rajeev Alur and Thomas A. Henzinger},
  title = 	 {Reactive Modules},
  journal = 	 {Formal Methods in System Design },
  year = 	 1999,
  volume = 	 15,
  pages = 	 {7-48}}

@InProceedings{interface-automata2001,
  author = 	 {L. de Alfaro and T. A. Henzinger},
  title = 	 {Interface automata},
  booktitle = {ESEC/FSE-9: Proceedings of the 8th European software 
               engineering conference},
  pages = 	 {109–120},
  address = 	 {New York, NY, USA},
  organization = {ACM Press},
  year = 2001}

@InProceedings{dist-emsoft,
  author =	 {A. Girault and X. Nicollin},
  title =	 {Clock-Driven Automatic Distribution of {Lustre} Programs},
  booktitle =	 {3rd International Conference on Embedded Software,
                  EMSOFT'03},
  pages =	 {206--222},
  year =	 2003,
  editor =	 {R. Alur and I. Lee},
  volume =	 2855,
  series =	 {LNCS},
  address =	 {Philadelphia, USA},
  month =	 oct,
  publisher =	 {Springer-Verlag},
}


@Article{lee-sangiovanni-tag98,
  author = 	 {Edward A. Lee and Alberto Sangiovanni-Vincentelli },
  title = 	 {A FRAMEWORK FOR COMPARING MODELS OF COMPUTATION},
  journal = 	 {IEEE Transactions on CAD},
  year = 	 {1998 },
  number=        {12},
  volume = 	 {17},
  month = 	 {December}}

@InProceedings{screp-emsoft,
  author =	 {A. Girault and C. M{\'e}nier},
  title =	 {Automatic Production of Globally Asynchronous
                  Locally Synchronous Systems},
  booktitle =	 {2nd International Workshop on Embedded Software,
                  EMSOFT'02},
  pages =	 {266--281},
  year =	 2002,
  editor =	 {A. Sangiovanni-Vincentelli and J. Sifakis},
  volume =	 2491,
  series =	 {LNCS},
  address =	 {Grenoble, France},
  month =	 oct,
  publisher =	 {Springer-Verlag},
}

@InProceedings{tolere5-dsn,
  author = 	 {A. Girault and H. Kalla and M. Sighireanu and Y. Sorel},
  title = 	 {An Algorithm for Automatically Obtaining Distributed and
                  Fault-Tolerant Static Schedules},
  booktitle = 	 {International Conference on Dependable Systems and
                  Networks, DSN'03},
  year =	 2003,
  address =	 {San-Francisco, USA},
  month =	 jun,
  publisher =	 {IEEE}
}

@InProceedings{tolere8-dsn,
  author = 	 {I. Assayad and A. Girault and H. Kalla},
  title = 	 {A Bi-Criteria Scheduling Heuristics for Distributed Embedded
                  Systems Under Reliability and Real-Time Constraints},
  booktitle = 	 {International Conference on Dependable Systems and
                  Networks, DSN'04},
  year =	 2003,
  address =	 {Firenze, Italy},
  month =	 jun,
  publisher =	 {IEEE}
}

@Article{tolere7-ijpr,
  author = 	 {A. Girault and H. Kalla and Y. Sorel},
  title = 	 {A Scheduling Heuristics for Distributed Real-Time
                  Embedded Systems Tolerant to Processor and
                  Communication Media Failures},
  journal = {IJPR},
  year = 	 2004,
  note = 	 {To appear}
}

@Article{AltisenGoesslerSifakis2001,
  author =      {K. Altisen and G. Goessler and J. Sifakis},
  title =      {Scheduler Modeling Based on the Controller Synthesis Paradigm},
  journal =      {Journal of Real-Time Systems, special issue on "control-theoretical approaches to real-time computing"},
  year =      {2002},
  volume =      {23},
  number =      {1/2},
  pages =      {55-84},
  OPTmonth =      {7-9},
  OPTnote =      {}
}

@InBook{metrolncs,
  author =      {F. Balarin and L. Lavagno and C. Passerone and A. Sangiovanni-Vincentelli and M. Sgroi and Y. Watanabe},
  title =      {Modeling and Designing Heterogeneous Systems},
  publisher =      {Springer-Verlag},
  year =      {2002},
  volume =      {2549},
  series =      {LNCS},
  pages =      {228-273}
}

@InProceedings{GoesslerSifakis2003,
  author =      {G. Goessler and J. Sifakis},
  title =      {Component-Based Construction of Deadlock-Free Systems (Extended Abstract)},
  booktitle =      {proc. FSTTCS'03},
  year =      {2003},
  OPTeditor =      {},
  volume =      {2914},
  series =      {LNCS},
  publisher = {Springer-Verlag}
}

@Article{lustre:tse92,
  author = 	 "N. Halbwachs and F. Lagnier and C. Ratel",
  title = 	 "Programming and verifying real-time systems by means of the
  synchronous dataflow language {\sc lustre}",
  journal = 	 "IEEE Transaction on Software Engineering",
  year = 	 "1992",
  month = 	 "September",
  volume = 	 "18",
  number = 	 "9",
  pages = 	 "785-793",
  note = 	 "Available through anonymous ftp at {\tt
  imag.fr:pub/SPECTRE/LUSTRE/PAPERS/lustre.tse.ps.gz}"
  
}

@InProceedings{rex,
  author = 	 "A.~Benveniste and P.~Caspi and N.~Halbwachs and
		  P.~Le Guernic",
  title = 	 "Data-flow synchronous languages",
  volume = 	 "803",
  series = 	 "Lecture Notes in Computer Science",
  pages = 	 "1-45",
  booktitle = "A Decade of Concurrency, reflexions and perspectives, REX
  School/Symposium",
  year = 	 "1993",
  publisher = "Springer Verlag",
  month = 	 "June"
}

@Article{vree,
  author = 	 "W.G. Vree and P.H. Hartel",
  title = 	 "Communication lifting\,: fixed point computation for
		  parallelism",
  journal = 	 "Journal of Functional Programming",
  year = 	 "1993",
  volume = 	 "1",
  number = 	 "1",
  pages = 	 "1-33"
}

@ARTICLE{lustref,
  AUTHOR  = {{N.  Halbwachs, P. Caspi, P. Raymond et D. Pilaud}},
  TITLE   = {Programmation et v\'erification des syst\`emes r\'eactifs
           \`a l'aide du langage flot de donn\'ees synchrone {\sc Lustre}},
  JOURNAL = {Technique et Science Informatique},
  VOLUME  ={10},
  NUMBER  ={2},
  YEAR    = 1991
}

@InProceedings{lustre:popl87,
  author = 	 "P.~Caspi and N.~Halbwachs and D.~Pilaud and J.~Plaice",
  title = 	 "Lustre: a declarative language for programming
		  synchronous systems",
  booktitle = "14th ACM Symposium on Principles of Programming Languages",
  year = 	 "1987",
  organization = "ACM"
}

@Article{clocks,
  author = 	 "P.~Caspi",
  title = 	 "Clocks in dataflow languages",
  journal = 	 "Theoretical Computer Science",
  year = 	 "1992",
  volume = 	 "94",
  pages = 	 "125-140"
}

@InProceedings{wrtp,
  author = 	 "P.~Caspi",
  title = 	 "Towards recursive block diagrams",
  booktitle = "19th IFAC/IFIP Workshop on real-time programming",
  year = 	 "1994",
  organization = "IFAC",
  address = 	 "Isle of Reichenau, Germany",
  month = 	 "June"
}

@InProceedings{talpin-signal-ordre-sup98,
  author = 	 {Jean-Pierre Talpin and David Nowak},
  title = 	 {A synchronous semantics of higher-order 
                  processes for modeling reconfigurable reactive systems},
  booktitle = 	 {International Conference on Foundations of Software 
                  Technology and Theoretical Computer Science (FST\&TCS)},
  year =	 1998,
  month =	 {December},
  publisher =	 {Springer Verlag}
}

%ptolemy
@Article{ptolemy94,
  author = 	 "J. Buck and S. Ha and E. Lee and D. Messerschmitt",
  title = 	 "Ptolemy: A framework for simulating and prototyping 
                  heterogeneous systems",
  journal = 	 "International Journal of computer Simulation",
  year = 	 1994,
  note =         "special issue on Simulation Software Development"
}


@Manual{ptolemy2,
  title = 	 {Heterogeneous Concurrent Modeling and Design in Java},
  author =	 {C. Brooks and E. A. Lee and
                  X. Liu and S. Neuendorffer and Y. Zhao and H. Zheng},
  organization = {Memorandum UCB/ERL M04/27},
  address =	 {EECS, University of California, Berkeley, CA USA 94720},
  month =	 {July},
  year =	 2004
}

@Book{lee-varaiya03,
  author =	 {Edward A.~Lee and Pravin Varaiya},
  title = 	 {Structure and Interpretation of Signals and Systems},
  publisher = 	 {Addison-Wesley},
  year = 	 2003
}

%scade
@Booklet{scade-conference02,
  title = 	 {{Using SCADE to Develop Flight Control Systems. 
                  The A 340-600 experience Airbus France}},
  author =	 {Jean-Philippe Beaujard},
  howpublished = {Scade User Conference},
  address =	 {Toulouse},
  month =	 {june},
  year =	 2002
}

@Misc{scade,
  author =	 {SCADE},
  title =	 {{\tt http://www.esterel-technologies.com/scade/}},
  year = {2007}
}

@Misc{rtbuilder,
  author =	 {RT-builder},
  title =	 {{\tt http://www.tni-software.com}},
  year = {2008}}

@Misc{modelica,
  author =	 {Modelica},
  title =	 {{\tt http://www.modelica.org/}},
  year = {2008}}

%reluc

@Misc{reluc01,
  key =		 {reluc},
  author =	 {Jean-Louis Cola\c{c}o},
  title =	 {S\'emantique statique de LUSTRE V6},
  howpublished = {Esterel Technologies},
  year =	 2001
}

%2z
@TechReport{2z93,
  author = 	 {Jean Vuillemin},
  title = 	 {{On Circuits and Numbers}},
  institution =  {Digital, Paris Research Laboratory},
  year = 	 1993
}

% langages graphiques
@Article{statecharts:scp87,
  author = 	 {D. Harel},
  title = 	 {{StateCharts: a Visual Approach to Complex Systems}},
  journal = 	 {Science of Computer Programming},
  year = 	 1987,
  volume =	 {8-3},
  pages =	 {231-275}
}

@InProceedings{argos:vl91,
  author = 	 {F. Maraninchi},
  title = 	 {{The Argos Language: Graphical Representation of
                  Automata and Description of Reactive Systems}},
  booktitle = 	 {IEEE Workshop on Visual Languages},
  year =	 1991,
  address =	 {Kobe, Japan},
  month =	 {october}
}

@ARTICLE{Modes-SCP03,
AUTHOR = {F. Maraninchi and Y. R\'emond},
TITLE = {Mode-Automata: a new Domain-Specific Construct for the Development of Safe Critical Systems},
JOURNAL = {Science of Computer Programming},
publisher = {Elsevier},
number=46,
pages={219-254},
year={2003}
}

@ARTICLE{argos:cl01,
AUTHOR = {Florence Maraninchi and Yann R\'emond},
TITLE = {Argos: an Automaton-Based Synchronous Language},
JOURNAL = {Computer Languages},
publisher = {Elsevier},
NUMBER={27},
PAGES={61-92},
YEAR={2001}
}

@InProceedings{Modes-FMICS00,
author={F. Maraninchi and Y. R\'{e}mond},
title={Applying Formal Methods to Industrial Cases: The Language Approach 
(The Production-Cell and Mode-Automata)},
booktitle={5th International Workshop on Formal Methods for 
Industrial Critical Systems (FMICS)},
address={Berlin},
year=2000,
month=apr
}

@INPROCEEDINGS{maraninchi:42-gpce07,
AUTHOR = {F. Maraninchi and T. Bouhadiba},
TITLE = {42: Programmable Models of Computation for a Component-Based Approach to Heterogeneous Embedded Systems},
BOOKTITLE = {Sixth ACM International Conference on   Generative Programming and Component Engineering (GPCE'07)},
MONTH=oct,
ADDRESS={Salzburg, Austria},
YEAR = 2007
}
@PhdThesis{remond:these01,
  author = 	 {Yann R\'emond},
  title = 	 {{Un support language pour les modes de fonctionnement
                  des syst\`emes temps-r\'eel: extension de Lustre par des
                  automates de modes}},
  school = 	 {Universit\'e Joseph Fourier (Grenoble)},
  year = 	 2001
}

@PhdThesis{maraninchi-habilitation97,
  author = 	 {Florence Maraninchi},
  title = 	 {{Mod\'elisation et validation des syst\`emes r\'eactifs: 
                             un langage synchrone \`a base d'automates}},
  school = 	 {Universit\'e Joseph Fourier - Grenoble I },
  year = 	 1997,
  month =	 {May},
  note =	 {Document d'Habilitation \`a Diriger des Recherches}
}

@InProceedings{synccharts:cesa96,
  author = 	 {Charles Andr\'e},
  title = 	 {{Representation and Analysis of Reactive Behaviors: 
                  A Synchronous Approach}},
  booktitle = 	 {CESA},
  year =	 1996,
  address =	 {Lille},
  month =	 {july},
  publisher =	 {IEEE-SMC},
  note =	 
        {Available at: {\tt www-mips.unice.fr/$\sim$andre/synccharts.html}}
}

% langages reactifs
@TechReport{fred,
  author = 	 "F.~Boussinot",
  title = 	 "R\'eseaux de processus r\'eactifs",
  institution =  "INRIA Sophia-Antipolis",
  year = 	 "janvier 1992",
  number = 	 "1588"
}

@Article{boussinot91,
  author = 	 {F. Boussinot},
  title = 	 {{Reactive C: An Extension of C to Program Reactive
                  Systems} },
  journal = 	 {Software Practice and Experience},
  year = 	 {1991},
  volume = 	 {21},
  number = 	 {4},
  pages = 	 {401-428},
}

@Article{sugar:boussinot98,
  author = 	 {Fr\'ed\'eric Boussinot and Jean-Ferdinand Susini},
  title = 	 {The SugarCubes Tool Box: A Reactive Java Framework},
  journal = 	 {Software-Practice and Experience},
  year = 	 1998,
  volume =	 28,
  number =	 14,
  pages =	 {1531-1550},
  month =	 {December},
  note = 	 {Url:~{\tt http://www.inria.fr/meije/rc/rc-project.html}}}

% verification
@Book{manna-pnueli95,
  author =	 {Zohar Manna and Amir Pnueli},
  title = 	 {Temporal Verifications of Reactive Systems -- safety},
  publisher = 	 {Spinger},
  year = 	 1995
}

@Book{clarke99,
  author =	 {Edmund M Clarke, Jr and Orna Grumberg and Doron A Peled},
  title = 	 {Model Checking},
  publisher = 	 {The MIT Press},
  year = 	 1999
}

@Book{lsv01,
  author =	 {B.~Berard and M.~Bidoit and A.~Finkel and F.~Laroussinie and
                  A.~Petit and L.~Petrucci and P.~Schnoebelen},
  title = 	 {Systems and Software Verification:
                  Model-Checking Techniques and Tools},
  publisher = 	 {Springer},
  year = 	 2001,
  note =	 {ISBN: 3-540-41523-8}
}

@inproceedings{miner,
        TITLE = {Verification of an Optimized Fault-Tolerant Clock 
		  Synchronization Circuit},
        AUTHOR = {Paul S. Miner and Steven D. Johnson},
        BOOKTITLE = {Designing Correct Circuits},
        EDITOR = {Mary Sheeran and Satnam Singh},
        PUBLISHER = {Springer-Verlag},
        SERIES = {Electronic Workshops in Computing},
        MONTH = sep,
        YEAR = 1996,
        ADDRESS = {Bastad, Sweden}
}

@InProceedings{si82,
  author = 	 "J.~P. Queille and J.~Sifakis",
  title = 	 "Specification and verification of concurrent systems
		  in {Cesar}",
  volume = 	 "137",
  series = 	 "Lecture Notes in Computer Science",
  pages = 	 "337-351",
  booktitle = "International Symposium on Programming",
  year = 	 "1982",
  publisher = "Springer Verlag",
  address = 	 "Berlin"
}

@Article{cla86,
  author = 	 "E.~M. Clarke and E.~A. Emerson and A.~P. Sistla",
  title = 	 "Automatic verification of finite-state concurrent
		  systems using temporal logic specifications",
  journal = 	 "ACM Transaction on Programming Languages and Systems",
  year = 	 "1986",
  volume = 	 "8",
  number = 	 "2",
  pages = 	 "244-263"
}

@Article{bouajjani92,
  author = 	 "A.~Bouajjani and J.~C. Fernandez and N.~Halbwachs and
		  P.~Raymond and C.~Ratel",
  title = 	 "Minimal state graph generation",
  journal = 	 "Science of Computer Programming",
  year = 	 "1992",
  volume = 	 "18",
  pages = 	 "247-269"
}

% langages equationnels 

@PhdThesis{maurras,
  author = 	 "C.~Maurras",
  title = 	 "Alpha, un langage \'equationnel pour la conception
		  d'architectures parall\`eles synchrone",
  school = 	 "Universit\'e de Rennes 1",
  year = 	 "1989",
  address = 	 "France"
}

@InProceedings{huitetdemi,
  author = 	 "J.L. Giavitto",
  title = 	 "A synchronous data-flow language for massively
		  parallel computers",
  booktitle = "Parallel Computing'91",
  address = "London",
  year =      "1991"
}

@Article{sisal,
  author = 	 "J.~T. Feo and D.~C. Cann and R.~R. Oldehoeft",
  title = 	 "A report on the {S}isal language project",
  journal = 	 "Journal of Parallel and Distributed Computation",
  year = 	 "1990",
  volume = 	 "10",
  pages = 	 "349-366"
}

% autres

@TechReport{VHDL,
  author = 	 "",
  title = 	 "I{E}{E}{E} standard {V}{H}{D}{L} reference manual",
  institution =  "",
  year = 	 "1988",
  }

% preuves co-inductives de programmes data-flow
@InProceedings{novaktalpin:tphol98,
  author = 	 {D. Nowak and J. R. Beauvais and J. P. Talpin},
  title = 	 {Co-inductive axiomatisation of synchronous language},
  booktitle = 	 {International Conference on Theorem Proving in 
                  Higher-Order Logics (TPHOLs'98)},
  year = 	 {1998},
  month = 	 {October},
  publisher = {Springer Verlag}
}

@InProceedings{coupet:tphol99,
  author = 	 {Solange Coupet-Grimal and Line Jakubiec},
  title = 	 {Hardware Verification using Co-Induction in Coq},
  booktitle = 	 {International Conference on Theorem Proving in 
                  Higher Order Logics, TPHOL'99},
  pages =	 {91-108},
  year =	 1999,
  address =	 {Nice, France},
  publisher =	 {Springer Verlag}
}

@Article{coupet:fac04,
  author = 	 {Solange Coupet-Grimal and Line Jakubiec},
  title = 	 {Circuit Certification in Type Theory},
  journal = 	 {Formal Aspects of Computing},
  year = 	 2004,
  volume =	 16,
  number =	 4,
  pages =	 {352-373},
  month =	 {Nov}
}

@InProceedings{amadio:fossacs98,
  author = 	 {Roberto Amadio and Solange Coupet-Grimal},
  title = 	 {Analysis of a Guard Condition in type theory},
  booktitle = 	 {First International Conference on 
                  Fondations of Software Science and Computation 
                  Structures, FoSSaCS'98},
  pages =	 {48-62},
  year =	 1998,
  address =	 {Lisbonne, Portugal},
  publisher =	 {Springer Verlag}
}

% test de programmes synchrones
@INPROCEEDINGS{lurette:rtss,
       AUTHOR = {P. Raymond and D. Weber and X. Nicollin
       and N. Halbwachs},
       TITLE={Automatic Testing of Reactive Systems},
       BOOKTITLE={19th IEEE Real-Time Systems Symposium},
       address = {Madrid, Spain},
       month=dec,
       year = 1998
       }

@InProceedings{test:ouabdesselam,
  author = 	 {L. du Bousquet and F. Ouabdesselam 
                  and J.L Richier and N. Zuanon},
  title = 	 {Lutess: testing environment for synchronous software},
  booktitle = 	 {Tool support for System Specification 
                  Development and Verification},
  year =	 1998,
  editor =	 {Advances in Computing Science},
  publisher =	 {Springer}
}

@inproceedings{halbwachs:asian99,
       author = {N. Halbwachs and P. Raymond},
       title = {Validation of Synchronous Reactive Systems:
       from Formal Verification to Automatic Testing},
       booktitle = {ASIAN'99, Asian Computing Science Conference},
       publisher={LNCS 1742, Springer Verlag},
       address={Phuket (Thailand)},
       year = 1999,
       month = dec
       }

% automates de modes
@InProceedings{maraninchi:modes-cc00,
       author={F. Maraninchi and Y. R\'emond and Y. Raoul},
       title={MATOU : An Implementation of Mode-Automata into DC},
       booktitle={Compiler Construction},
       address={Berlin (Germany)},
       publisher = {Springer verlag},
       month=mar,
       year=2000
       }

@InProceedings{maraninchi:modes-esop98,
       author={F. Maraninchi and Y. R\'emond},
       title={Mode-Automata: About Modes and States for Reactive Systems},
       booktitle={European  Symposium On Programming},
       address={Lisbon (Portugal)},
       publisher = {Springer verlag},
       month=mar,
       year=1998
       }

@InProceedings{maraninchi:modes-COMPOS97,
       author={F. Maraninchi and Y. R\'emond},
       title={Compositionality Criteria  for Defining Mixed-Styles Synchronous
       Languages},
       booktitle={International Symposium: Compositionality - The Significant
       Difference},
       address={Malente (Holstein, Germany)},
       publisher = {Springer Verlag},
       month=sep,
       year=1997
       }

@PhdThesis{lustre:these-morel05,
  author = 	 {ionel Morel},
  title = 	 {Exploitation des structures r\'eguli\`eres et des
sp\'ecifications locales pour le d\'eveloppement correct de syst\`emes
r\'eactifs de grande taille},
  school = 	 {Institut National Polytechnique de Grenoble},
  year = 	 2005,
  month = 	 {March}
}

% langages reguliers et data-flow
@INPROCEEDINGS{reglo:icalp96,
       AUTHOR = {P. Raymond},
       TITLE = {Recognizing Regular Expressions by means of Dataflows
       Networks},
       BOOKTITLE =  {23rd International Colloquium on Automata, Languages,
       and Programming, (ICALP'96)},
       ADDRESS = {Paderborn, Germany},
       MONTH = jul,
       PUBLISHER = {LNCS 1099, Springer Verlag},
       YEAR = 1996
       }

@INPROCEEDINGS{reglo:slap02,
       AUTHOR = {P. Raymond and Y. Roux},
       TITLE = {Describing non-deterministic reactive systems
                by means of regular expressions (short)},
       BOOKTITLE =  {Workshop on Synchronous Languages, Applications and
                      Programming},
       ADDRESS = {renoble},
       MONTH = April,
       PUBLISHER = {Electronic Notes in Computer Science},
       YEAR = 2002
       }

% causalite
@Article{sijtsma89,
  author = 	 {B. A. Sijtsma},
  title = 	 {On the productivity of recursive list definitions},
  journal = 	 {ACM Transactions on Programming Languages and Systems},
  year = 	 1989,
  volume =	 11,
  month =	 {October }
}

@Article{wadge81,
  author = 	 {W. W. Wadge},
  title = 	 {An extensional treatment of dataflow deadlock},
  journal = 	 {Theoretical Computer Science},
  year = 	 1981,
  volume =	 13
}

@InProceedings{causality:shiple96,
  author = 	 {Thomas R. Shiple and G\'erard Berry},
  title = 	 {Constructive Analysis of Cyclic Circuits},
  booktitle = 	 {Proceedings of the International Design and Test
                  Conference ITDC 96},
  year =	 1996,
  address =	 {Paris, France}
}

@InProceedings{causality:halbwachs,
  author = 	 {Nicolas Halbwachs and Florence Maraninchi},
  title = 	 {On the Symbolic Analysis of Combinatorial loops
                  in Circuits and Synchronous Programs},
  booktitle = 	 {Euromicro 95},
  year =	 1995,
  address =	 {Como, Italy},
  month =	 {September}
}

@INPROCEEDINGS{maraninchi-lusensor-slap07,
AUTHOR = {F. Maraninchi and L. Samper and K. Baradon and A. Vasseur},
TITLE = {Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks},
BOOKTITLE = {SLA++P'07, ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems},
MONTH=mar,
ADDRESS={Braga, Portugal},
publisher = {ENTCS},
YEAR=2007,
}

% lucid
@BOOK{lucid,
AUTHOR = {E. A. Ashcroft and W. W.  Wadge  },
TITLE = {Lucid, the data-flow programming language} ,
PUBLISHER = {A.P.I.C. Studies in Data Processing, Academic Press},
VOL= {22},
YEAR = 1985}

@Article{lucida,
  author = 	 "E.A. Ashcroft and W.W. Wadge",
  title = 	 "Lucid, a non procedural language with iteration",
  journal = 	 "Communications of the ACM",
  year = 	 "1977",
  volume = 	 "20",
  number = 	 "7",
  pages = 	 "519-526"
  }

@ARTICLE{lucidb,
AUTHOR = {E.A. Ashcroft and W.W. Wadge},
TITLE = {Lucid, a formal system for writing and proving programs },
JOURNAL = {SIAM j. Comp.}, 
VOLUME = 3,
PAGES = {336--354}, 
YEAR = 1976
}

%scheduling
@Article{messer87,
  author = 	 "E.~A. Lee and D.~G. Messerschmitt",
  title = 	 "Static scheduling of synchronous data flow programs
		  for digital signal processing",
  journal = 	 "IEEE Trans. on Computers",
  year = 	 "1987",
  volume = 	 "36",
  number = 	 "2"
}

@PhdThesis{park95,
  author = 	 {Thomas M Park},
  title = 	 {{Bounded Scheduling of Process Networks}},
  school = 	 {University of California at Berkeley},
  year = 	 1995
}

@InProceedings{kock00,
  author = 	 {E. A.~de Kock and G.~Essink and
                  W.J.M.~Smits and P.~van der Wolf and J.-Y.~Brunel
                  and W.M.~Kruijtzer and P.~Lie},
  title = 	 {{YAPI : Application Modeling for Signal Processing Systems}},
  booktitle = 	 {Design Automation Conference (DAC)},
  year =	 2000
}

@InProceedings{caspi-real-time-scheduling03,
  author = 	 {P.~Caspi and A.~Curic and A.~Maignan and C.~Sofronis and
 S.~Tripakis and P.~Niebert},
  title = 	 {{From Simulink to SCADE/Lustre to TTA:
                 a layered approach for distributed embedded applications}},
  booktitle = 	 {LCTES'03},
  year =	 2003
}

@Article{caspi-simulink-lustre05,
  author = 	 {P.~Caspi and A.~Curic and A.~Maignan and C.~Sofronis 
                  and S.~Tripakis},
  title = 	 {{Translating Discrete-Time Simulink to Lustre}},
  journal = 	 {ACM Transactions on Embedded Computing Systems},
  year =	 2005,
  note =         {Special Issue on Embedded Software}
}

%expressivite des reseaux des Kahn

@Article{panangaden92,
  author = 	 {Prakash Panangaden and Vasant Shanbhogue},
  title = 	 {{The Expressive Power of Indeterminate Dataflow Primitives}},
  journal = 	 {Information and Computation},
  year = 	 1992,
  volume =	 98,
  number =	 1,
  month =	 {May}
}

%la theorie des flots (co-algebres)
@Article{jacobs97,
  author = 	 {Bart Jacobs and Jan Rutten},
  title = 	 {A tutorial on (co)algebras and (co)induction},
  journal = 	 {EATCS Bulletin},
  year = 	 1997,
  volume =	 62,
  pages =	 {222--259}
}

@InProceedings{jacobs:cmcs98,
  author = 	 {Bart Jacobs},
  title = 	 {Coalgebraic Reasoning about Classes in 
                  Object-Oriented Languages},
  booktitle = 	 {Workshop Coalgebraic Methods in Computer Science (CMCS)},
  year =	 1998,
  volume =	 11,
  series =	 {Electronic Notes in Computer Science}
}

@Book{caspi-periodic00,
  author =	 {Paul Caspi},
  title = 	 {The Quasi-Synchronous Approach to Distributed
                  Control System Design, Crisys "Cooking Book"},
  publisher = 	 {Crisys preliminary draft},
  year = 	 2000
}

@article{lustre:caspi-tecs08,
 author = {Caspi, Paul and Scaife, 
           Norman and Sofronis, Christos and Tripakis, Stavros},
 title = {Semantics-preserving multitask implementation of synchronous programs},
 journal = {ACM Trans. Embed. Comput. Syst.},
 volume = {7},
 number = {2},
 year = {2008},
 issn = {1539-9087},
 pages = {1--40},
 doi = {http://doi.acm.org/10.1145/1331331.1331339},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@InProceedings{benveniste-caspi-cdc08,
  author = 	 {P. Caspi and A. Benveniste},
  title = 	 {Time-Robust discrete control over networked 
                  Loosely Time-Triggered Architectures},
  booktitle = {Proc. of 2008 IEEE Control and Decision Conference},
  year = 	 2008,
  address = 	 {Cancun},
  month = 	 {Dec}}

@INPROCEEDINGS{HalbwachsMandel-ACSD-2006,
  author = {Nicolas Halbwachs and Louis Mandel},
  title = {Simulation and verification of asynchronous systems by means of a synchronous model},
  booktitle = {Sixth International Conference on Application of Concurrency to System Design ({ACSD'06})},
  year = {2006},
  address = {Turku, Finland},
  month = JUN,
  url = {HalbwachsMandel-ACSD-2006.pdf}
}


@PhdThesis{jeannet:these00,
  author = 	 {Bertrand Jeannet},
  title = 	 {{Partitionnement Dynamique dans l'Analyse de
                  Relations Lin\'eaires et Application \`a la V\'erification
                  de Programmes Synchrones}},
  school = 	 {Institut National Polytechnique de Grenoble},
  year = 	 2000,
  month =	 {september}
}

@InProceedings{caspi-dumas00,
  author = 	 {Paul Caspi and C\'ecile Dumas},
  title = 	 {A PVS Proof Obligation Generator for Lustre Programs},
  booktitle = 	 {2nd International Conference on Logic for Programming
                  and Reasonning, LPAR2000},
  year =	 2000,
  volume =	 1955,
  address =	 {La R\'eunion},
  month =	 {November},
  publisher =	 {Lecture Notes in Artificial Intelligence}
}


@PhdThesis{dumas:these00,
  author = 	 {C\'ecile Dumas Canovas},
  title = 	 {{M\'ethodes d\'eductives pour la preuve de 
                  programmes Lustre}},
  school = 	 {Universit\'e Joseph Fourier (Grenoble)},
  year = 	 2000,
  month =	 {november}
}

@article{cvt-pnueli98,
    author = "Amir Pnueli and Ofer Shtrichman and Michael Siegel",
    title = "The Code Validation Tool {CVT}: Automatic Verification of
                  a Compilation Process", 
    journal = "International Journal on Software Tools for Technology
               Transfer", 
    volume = "2",
    number = "2",
    pages = "192-201",
    year = "1998" }

@Misc{mathworks,
  key =		 {The MathWorks},
  year = 2007,
  note =	 {{\tt www.mathworks.com}}}

@MANUAL{Stateflow-UG,
  TITLE = {Stateflow and Stateflow Coder, User's Guide},
  ORGANIZATION = {The Mathworks},
  EDITION = {Release 13SP1},
  MONTH = SEP,
  YEAR = 2003,
  URL = {http://www.mathworks.com/access/helpdesk/help/pdf_doc/stateflow/sf_ug.pdf}
}


@TechReport{do178b,
  author = 	 {DO178B: RTCA/DO-178B},
  title = 	 {Software Consideration in Airborne Systems and Equipment 
                  Certification},
  institution =  {RTCA},
  year = 	 1992
}

@Book{milner:ccs-book89,
  author =	 {Robin Milner},
  title = 	 {Communication and Concurrency},
  publisher = 	 {Prentice Hall},
  year = 	 1989
}

@Book{milner:pi-book99,
  author =	 {Robin Milner},
  title = 	 {Communicating and Mobile Systems: the $\pi$-calculus},
  publisher = 	 {Cambridge University Press},
  year = 	 1999
}

@Misc{hume06,
  author =	 {Kevin Hammond},
  title =	 {Hume},
  note =	 {\url{http://www-fp.dcs.st-and.ac.uk/hume/}}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

 @Article{lid:carloni01,
  author = 	 {L.P. Carloni and K.L. McMillan
                  and A.L. Sangiovanni-Vincentelli },
  title = 	 {Theory of Latency-Insensitive Design },
  journal = 	 {IEEE Transactions on Computer-Aided Design of 
                  Integrated Circuits and Systems},
  year = 	 {2001},
  OPTkey = 	 {},
  OPTvolume = 	 {20},
  OPTnumber = 	 {9},
  OPTpages = 	 {},
  OPTmonth = 	 {September},
  OPTnote = 	 {\verb-http://www1.cs.columbia.edu/~luca/-},
  OPTannote = 	 {}
}

@Article{Deva91,
  author =       "{S. Devadas}",
  journal =      "IEEE Transaction of Computer-Aided Design",
  key =          "Deva91",
  keyword =      "hardware gatelevel specification optimization",
  month =        dec,
  number =       "12",
  pages =        "1473--1484",
  title =        "Optimizing Interacting Finite State Machines Using
                 Sequential Don't Cares",
  volume =       "10",
  year =         "1991",
}

@inproceedings{hamon-fase,
 author = {Gregoire Hamon and John Rushby},
 title = {An Operational Semantics for Stateflow},
 booktitle = {Fundamental Approaches to Software Engineering, 7th International
               Conference},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2984},
  year      = {2004},
  isbn      = {3-540-21305-8},
 pages = {229--243}
 }

@misc{simulink-gateway,
author = {white paper},
title = "Simulink Users Connect with Esterel SCADE Suite for Safe Embedded Software",
url="http://www.esterel-technologies.com/"
}

@misc{simulink,
author = {The MathWorks},
title = "http://www.mathworks.com/products/simulink",
year = {2009}
}

@inproceedings{elastic-networks06,
 author = {Sava Krstic and Jordi Cortadella and Mike Kishinevsky and John O'Leary},
 title = {Synchronous Elastic Networks},
 booktitle = {FMCAD '06: Proceedings of the Formal Methods in Computer Aided Design},
 year = {2006},
 isbn = {0-7695-2707-8},
 pages = {19--30},
 doi = {http://dx.doi.org/10.1109/FMCAD.2006.32},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@InProceedings{esterel:potop03,
  author = 	 {D. Potop-Butucaru and R. de Simone},
  title = 	 {Optimizations for Faster Execution of Esterel Programs},
  booktitle = 	 {MEMOCODE},
    year =	 2003
}

@inproceedings{esterel:weil00,
 author = {Daniel Weil and Val\'erie Bertin and Etienne Closse and 
           Michel Poize and Patrick Venier and Jacques Pulou},
 title = {Efficient compilation of ESTEREL for real-time embedded systems},
 booktitle = {CASES '00: Proceedings of the 2000 international 
              conference on Compilers, architecture, and synthesis for 
              embedded systems},
 year = {2000},
 pages = {2--8},
 location = {San Jose, California, United States},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@Article{esterel:edwards02,
  author = 	 {Stephen Edwards},
  title = 	 {An Esterel compiler for large control-dominated systems},
  journal = 	 {IEEE Transactions on Computer-Aided Design of 
                  Integrated Circuits and Systems},
  month =        {February},
  year = 	 2002,
  number =       2,
  volume =	 21
}

@inproceedings{esterel:compil-circuit91,
 author = {G\'erard Berry},
 title = {A Hardware Implementation of Pure Esterel},
 booktitle = {Workshop on Formal Methods in VLSI Design},
 year = {1991},
 address = {Miami, Florida},
 month = {January},
 }

@inproceedings{quartz:cases01,
 author = {Klaus Schneider and M. Wenz},
 title = {A New Method for Compiling Schizophrenic Synchronous Programs},
 booktitle = {Conference on Compilers, Architecture, and Synthesis for 
              Embedded Systems (CASES)},
 year = {2001},
 address = {Atlanta, USA},
 month = {November},
 publisher = {ACM},
 pages = {49-58}
 }

@InProceedings{lucky:sefm06,
  author = 	 {P. Raymond and E. Jahier and Y. Roux},
  title = 	 {Describing and executing random reactive systems},
  booktitle =	 {4th IEEE International Conference on Software 
                  Engineering and Formal Methods (SEFM'06)},
  year =	 2006,
  address =	 {Pune, India},
  month =	 {September 11-15}
}

@InProceedings{lee07,
  author = 	 {Edward A. Lee and Haiyang Zheng},
  title = 	 {Leveraging Synchronous Language Principles for Heterogeneous 
                  Modeling and Design of Embedded Systems},
  booktitle =	 {EMSOFT},
  year =	 2007,
  address =	 {Salzburg, Austria},
  month =	 {September 30-October 3}
}

@Misc{genieII:ledinot-gimenez00,
  author = 	 {Edouardo Gimenez and Emmanuel Ledinot},
  title = 	 {{Certification de SCADE V3}},
  howpublished = {Rapport final du projet GENIE II, Verilog SA},
  month =	 {Janvier},
  year =	 2000
}


@TechReport{kaplan-terrasse00,
  author = 	 {Delphine Kaplan - Terrasse},
  title = 	 {Vers la certification du compilateur v5 d’Esterel dans Coq},
  institution =  {INRIA },
  year = 	 2000,
  number = 	 4092,
  month = 	 {December},
  note = 	 {\tt 
ftp://ftp.inria.fr/INRIA/ publication/publi-pdf/RR/RR-4092.pdf}}

@TechReport{verimagTR20086,
author = {A. Benveniste and P. Caspi and R. Lublinerman and S. Tripakis},
title = {Actors without Directors: a Kahnian View of Heterogeneous Systems },
institution = {Verimag},
year = 2008,
month = Sep,
number = TR-2008-6,
address = {Centre \'Equation, 38610 Gi\`eres},
url = {http://www-verimag.imag.fr/index.php?page=techrep-list}
}

@Article{benvenistetac97,
  author = 	 {Albert Benveniste},
  title = 	 {Compositional and Uniform Modeling of Hybrid Systems},
  journal = 	 {IEEE-TAC},
  year = 	 1997}

@ARTICLE{Bryant86graph-basedalgorithms,
    author = {Randal E. Bryant},
    title = {Graph-Based Algorithms for Boolean Function Manipulation},
    journal = {IEEE Transactions on Computers},
    year = {1986},
    volume = {35},
    pages = {677--691}
}

@inproceedings{sheeran:fmcad00,
 author = {Sheeran, Mary and Singh, Satnam and St{\aa}lmarck, Gunnar},
 title = {Checking Safety Properties Using Induction and a SAT-Solver},
 booktitle = {FMCAD '00: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design},
 year = {2000},
 isbn = {3-540-41219-0},
 pages = {108--125},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{lustre:halbwachsAMAST93,
 author = {Halbwachs, Nicolas and Lagnier, Fabienne and Raymond, Pascal},
 title = {Synchronous Observers and the Verification of Reactive Systems},
 booktitle = {AMAST '93: Proceedings of the Third International Conference on Methodology and Software Technology},
 year = {1994},
 isbn = {3-540-19852-0},
 pages = {83--96},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@ARTICLE{lesar:tse,
      AUTHOR = {N. Halbwachs and F. Lagnier and C. Ratel },
      TITLE = {Programming and verifying real-time systems by means of 
               the synchronous data-flow programming language Lustre},
      JOURNAL = {IEEE Transactions on Software Engineering, 
                 Special Issue on the Specification and Analysis 
                 of Real-Time Systems},
      MONTH={September },
      YEAR=1992
   }

@InBook{lesar:raymond08,
  author = 	 {Pascal Raymond},
  ALTeditor = 	 {S. Mertz and N. Navet},
  title = 	 {Synchronous Program Verification with Lustre/Lesar},
  chapter = 	 {6},
  publisher = 	 {ISTE/Wiley},
  year = 	 {2008},
  pages = 	 {171-206}
}


@Article{lutin:raymond08,
  author = 	 {Pascal Raymond and Yvan Roux and Erwan Jahier},
  title = 	 {Lutin: a language for specifying and executing 
                  reactive scenarios},
  journal = 	 {EURASIP Journal on Embedded Systems},
  year = 	 2008,
  volume = 	 2008,
  note = 	 {Article ID 753821}}