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),
pp. 64–83,
doi: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),
pp. 103–149,
doi:10.1016/0167-6423(91)90001-e.
G. Berry & G. Gonthier (1992):
The Esterel Synchronous Programming Language.
Science of Computer Programming 19(2),
pp. 87–152,
doi: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.
In: Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages.
Association for Computing Machinery (ACM),
doi:10.1145/41625.41641.
Edmund M Clarke & Paolo Zuliani (2011):
Statistical model checking for cyber-physical systems.
In: Automated Technology for Verification and Analysis.
Springer,
pp. 1–12,
doi: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.
In: 2008 11th IEEE High Assurance Systems Engineering Symposium.
Institute of Electrical and Electronics Engineers (IEEE),
doi: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),
pp. 785–793,
doi:10.1109/32.159839.
Kohei Honda (1993):
Types for dyadic interaction.
In: CONCUR'93.
Springer,
pp. 509–523,
doi:10.1007/3-540-57208-2_35.
Patrick M Rondon, Ming Kawaguci & Ranjit Jhala (2008):
Liquid types.
In: ACM SIGPLAN Notices 43.
ACM,
pp. 159–169,
doi:10.1145/1379022.1375602.
Jean-Pierre Talpin, Pierre Jouvelot & Sandeep Kumar Shukla (2015):
Towards refinement types for time-dependent data-flow networks.
In: Formal Methods and Models for Codesign, 2015 ACM/IEEE International Conference on.
IEEE,
pp. 36–41,
doi:10.1109/memcod.2015.7340465.
Hongwei Xi (2004):
Applied Type System (extended abstract).
In: post-workshop Proceedings of TYPES 2003.
Springer-Verlag LNCS 3085,
pp. 394–408,
doi: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),
pp. 215–286,
doi:10.1017/s0956796806006216.
Hongwei Xi & Frank Pfenning (1999):
Dependent Types in Practical Programming.
In: Proceedings of 26th ACM SIGPLAN Symposium on Principles of Programming Languages,
doi:10.1145/292540.292560.
Eugene Yip, Matthew MY Kuo, Partha S Roop & David Broman (2014):
Relaxing the synchronous approach for mixed-criticality systems.
In: Real-Time and Embedded Technology and Applications Symposium, 2014 IEEE 20th.
IEEE,
pp. 89–100,
doi:10.1109/rtas.2014.6925993.