@article(Benveniste2003,
 author       = {A. Benveniste and P. Caspi and S. A. Edwards and N. Halbwachs and Le Guernic, P. and De Simone, R.},
 year         = {2003},
 title        = {The Synchronous Languages 12 Years Later},
 journal      = {Proceedings of the IEEE},
 volume       = {91},
 number       = {1},
 pages        = {64--83},
 doi          = {10.1109/jproc.2002.805826},
)
@article(Benveniste1991,
 author       = {A. Benveniste and Le Guernic, P. and C. Jacquemot},
 year         = {1991},
 title        = {Synchronous Programming with Events and Relations: the SIGNAL Language and its Semantics},
 journal      = {Science of Computer Programming},
 volume       = {16},
 number       = {2},
 pages        = {103--149},
 doi          = {10.1016/0167-6423(91)90001-e},
)
@article(Berry1992,
 author       = {G. Berry and G. Gonthier},
 year         = {1992},
 title        = {The Esterel Synchronous Programming Language},
 journal      = {Science of Computer Programming},
 volume       = {19},
 number       = {2},
 pages        = {87--152},
 doi          = {10.1016/0167-6423(92)90005-v},
)
@inproceedings(Pilaud1987,
 author       = {P. Caspi and D. Pilaud and N. Halbwachs and J. A. Plaice},
 year         = {1987},
 title        = {{LUSTRE}: a declarative language for real-time programming},
 booktitle    = {Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages},
 publisher    = {Association for Computing Machinery ({ACM})},
 doi          = {10.1145/41625.41641},
)
@incollection(clarke2011,
 author       = {Edmund M Clarke and Paolo Zuliani},
 year         = {2011},
 title        = {Statistical model checking for cyber-physical systems},
 booktitle    = {Automated Technology for Verification and Analysis},
 publisher    = {Springer},
 pages        = {1--12},
 doi          = {10.1007/978-3-642-24372-1\_1},
)
@inproceedings(Forget09,
 author       = {Julien Forget and Fr{\'{e}}d{\'{e}}ric Boniol and David Lesens and Claire Pagetti},
 year         = {2008},
 title        = {A Multi-Periodic Synchronous Data-Flow Language},
 booktitle    = {2008 11th {IEEE} High Assurance Systems Engineering Symposium},
 publisher    = {Institute of Electrical and Electronics Engineers ({IEEE})},
 doi          = {10.1109/hase.2008.47},
)
@article(halbwachs1992,
 author       = {N. Halbwachs and F. Lagnier and C. Ratel},
 year         = {1992},
 title        = {Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE},
 journal      = {Software Engineering, IEEE Transactions on},
 volume       = {18},
 number       = {9},
 pages        = {785--793},
 doi          = {10.1109/32.159839},
)
@inproceedings(honda1993types,
 author       = {Kohei Honda},
 year         = {1993},
 title        = {Types for dyadic interaction},
 booktitle    = {CONCUR'93},
 organization = {Springer},
 pages        = {509--523},
 doi          = {10.1007/3-540-57208-2\_35},
)
@inproceedings(rondon2008liquid,
 author       = {Patrick M Rondon and Ming Kawaguci and Ranjit Jhala},
 year         = {2008},
 title        = {Liquid types},
 booktitle    = {ACM SIGPLAN Notices},
 volume       = {43},
 organization = {ACM},
 pages        = {159--169},
 doi          = {10.1145/1379022.1375602},
)
@inproceedings(talpin2015towards,
 author       = {Jean-Pierre Talpin and Pierre Jouvelot and Sandeep Kumar Shukla},
 year         = {2015},
 title        = {Towards refinement types for time-dependent data-flow networks},
 booktitle    = {Formal Methods and Models for Codesign, 2015 ACM/IEEE International Conference on},
 organization = {IEEE},
 pages        = {36--41},
 doi          = {10.1109/memcod.2015.7340465},
)
@inproceedings(ATS-types03,
 author       = {Hongwei Xi},
 year         = {2004},
 title        = {{Applied Type System (extended abstract)}},
 booktitle    = {post-workshop Proceedings of TYPES 2003},
 publisher    = {Springer-Verlag LNCS 3085},
 pages        = {394--408},
 doi          = {10.1007/978-3-540-24849-1\_25},
)
@article(DML-jfp07,
 author       = {Hongwei Xi},
 year         = {2007},
 title        = {{Dependent ML: An approach to practical programming with dependent types}},
 journal      = {Journal of Functional Programming},
 volume       = {17},
 number       = {2},
 pages        = {215--286},
 doi          = {10.1017/s0956796806006216},
)
@inproceedings(XP99,
 author       = {Hongwei Xi and Frank Pfenning},
 year         = {1999},
 title        = {{Dependent Types in Practical Programming}},
 booktitle    = {Proceedings of 26th ACM SIGPLAN Symposium on Principles of Programming Languages},
 doi          = {10.1145/292540.292560},
)
@inproceedings(yip2014,
 author       = {Eugene Yip and Matthew MY Kuo and Partha S Roop and David Broman},
 year         = {2014},
 title        = {Relaxing the synchronous approach for mixed-criticality systems},
 booktitle    = {Real-Time and Embedded Technology and Applications Symposium, 2014 IEEE 20th},
 organization = {IEEE},
 pages        = {89--100},
 doi          = {10.1109/rtas.2014.6925993},
)