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