O. Tardieu and R. De-simone, Curing schizophrenia by program rewriting in esterel In Formal Methods and Models for Co-Design, Proceedings. Second ACM and IEEE International Conference on, pp.39-48, 2004.

N. Halbwachs and F. Maraninchi, On the symbolic analysis of combinational loops in circuits and synchronous programs, Euromicro'95, 1995.

P. L. Guernic, M. Borgue, T. Gauthier, and C. Marie, Programming real time applications with SIGNAL, Proc. of the IEEE, pp.1321-1335, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00540460

O. Maffeis and P. L. Guernic, Distributed implementation of SIGNAL: Scheduling & graph clustering, Lec. Notes in Comp. Sc., volume, 1994.
DOI : 10.1007/3-540-58468-4_183

URL : https://hal.archives-ouvertes.fr/hal-00544101

P. Aubry, P. L. Guernic, and S. Machard, Synchronous distribution of SIGNAL programs, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences
DOI : 10.1109/HICSS.1996.495517

URL : https://hal.archives-ouvertes.fr/hal-00544057

A. Bijoy, S. K. Jose, and . Shukla, An Alternative Polychronous Model and Synthesis Methodology for Model-Driven Embedded Software, Proc. of 15th Asia and South Pacific Design Automation Conference(ASPDAC), pp.13-18, 2010.

A. Bijoy, S. K. Jose, and . Shukla, MRICDF : A polychronous Model for Embedded Software Synthesis Springer: Synthesis of embedded software -frameworks and methodologies for correctness by construction software design, 2010.

T. Paul-le-guernic, M. L. Gautier, C. L. Borgne, and M. , Programming real-time applications with signal, Proc. of the IEEE, pp.1321-1336, 1991.

J. Talpin, J. Ouy, L. Besnard, and P. L. Guernic, Compositional design of isochronous systems, Design, Automation and Test in Europe (DATE'08), pp.928-933, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00156499

A. Bijoy, S. K. Jose, and . Shukla, New Techniques for Sequential Software Synthesis from a Polychronous Data Flow Formalism, 2011.

S. Srivastava, S. Gulwani, and J. S. Foster, From program verification to program synthesis, Proc.of the 37th ACM SIGPLAN-SIGACT symp. on Principles of programming languages, POPL'10, pp.313-326, 2010.

L. De-moura and N. Bjorner, Satisfiability Modulo Theories: An Appetizer, Lecture Notes in Computer Science, vol.5902, pp.23-36, 2009.
DOI : 10.1007/978-3-642-10452-7_3

C. Barrett, M. Deters, A. Oliveras, and A. Stump, SMT-COMP: Satisfiability Modulo Theories Competition, 2010.
DOI : 10.1007/11513988_4

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.571.2038

A. Matusiwicz, N. Murray, and E. Rosenthal, Prime Implicate Tries, Proc. of 18th Intl. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods, 2009.
DOI : 10.1007/978-3-642-02716-1_19

A. Bijoy, J. Jose, S. K. Pribble, and . Shukla, Faster embedded software synthesis using actor elimination techniques for multi-rate synchronous formalism, Proc. of 10th Conf. on Application of Concurrency to System Design (ACSD), pp.147-156, 2010.

A. Bijoy, A. Jose, J. Gamatie, S. K. Ouy, and . Shukla, SMT Based False Causal loop Detection during Code Synthesis from Polychronous Specifications, Proc. of 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2011.

N. Halbwachs, Synchronous Programming of Reactive systems, p.26, 1993.

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V

URL : https://hal.archives-ouvertes.fr/inria-00075711

F. Boussinot and R. Simone, The ESTEREL language, Proc. of the IEEE, pp.1293-1304, 1991.
DOI : 10.1109/5.97299

URL : https://hal.archives-ouvertes.fr/inria-00075075

A. Stepher, J. Edwards, and . Zeng, Code Generation in the Columbia Esterel Compiler, EURASIP J. on Embedded Systems, pp.1-31, 2007.

K. Schneider, The synchronous programming language Quartz, Internal Report, vol.375, 2009.

K. Schneider and T. Schuele, Averest: Specification, verification, and implementation of reactive systems, Application of Concurrency to System Design (ACSD), 2005.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9
DOI : 10.1109/5.97300

P. Caspi and M. Pouzet, A Functional Extension to Lustre, International Symposium on Languages for Intentional Programming, 1995.

S. Malik, Analysis of cyclic combinational circuits, Proc. of the IEEE/ACM Intl. Conf. on Computer-aided design, pp.618-625, 1993.

G. Berry, The constructive semantics of pure esterel, 1996.

T. Shiple, G. Berry, and H. Touati, Constructive analysis of cyclic circuits, Proceedings ED&TC European Design and Test Conference, p.328, 1996.
DOI : 10.1109/EDTC.1996.494321

S. Kedar, R. P. Namjoshi, and . Kurshan, Efficient analysis of cyclic definitions, Proceedings of the 11th International Conference on Computer Aided Verification, CAV '99, pp.394-405, 1999.

O. Tardieu and R. Simone, Instantaneous Termination in Pure Esterel, Proceedings of the 10th international conference on Static analysis, SAS'03, pp.91-108, 2003.
DOI : 10.1007/3-540-44898-5_6

D. Marc, J. Riedel, and . Bruck, The synthesis of cyclic combinational circuits, Design Automation Conference (DAC, pp.163-168, 2003.

E. M. Sentovich, Quick conservative causality analysis, Proceedings. Tenth International Symposium on System Synthesis (Cat. No.97TB100114), pp.2-8, 1997.
DOI : 10.1109/ISSS.1997.621669

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.537.4586

E. M. Clarke and E. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1982.

J. Queille and J. Sifakis, Specification and verification of concurrent systems in CESAR, International Symposium on Programming, pp.337-351, 1982.
DOI : 10.1007/3-540-11494-7_22

A. Gamatié and L. Gonnord, Static Analysis of Synchronous Programs in SIGNAL for Efficient Design of Multi-Clocked Embedded Systems, Proc. of SIGPLAN/SIGBED Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES'11), pp.71-80, 2011.

J. Brandt, M. Gemunde, K. Schneider, B. A. Jose, and S. K. Shukla, Causality Analysis of Polychronous Programs

D. Nowak, Synchronous structures, Information and Computation, vol.204, issue.8, pp.1295-1324, 2006.
DOI : 10.1016/j.ic.2001.05.001