A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proc. of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

P. Marti, R. Villa, J. M. Fuertes, and G. Fohler, On Real-Time Control Task Schedulability, Proceedings of the European Control Conference, pp.2227-2232, 2001.

A. Jantsch, Modeling Embedded Systems and SoCs -Concurrency and Time in Models of Computation, 2003.

J. Liu and E. A. Lee, Timed Multitasking for Real-Time Embedded Software, IEEE Control Systems Magazine: Advances in Software Enabled Control, pp.65-75, 2003.

T. A. Henzinger, C. Horowitz, and . Kirsch, Giotto: a time-triggered language for embedded programming, Proc of the IEEE, pp.91-84, 2003.
DOI : 10.1109/JPROC.2002.805825

A. Ghosal, T. A. Henzinger, C. M. Kirsch, and M. A. Sanvido, Event-Driven Programming with Logical Execution Times, Proc. of HSCC 2004, pp.357-371, 2004.
DOI : 10.1007/978-3-540-24743-2_24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.5327

L. De-alfaro and T. A. Henzinger, Interface Automata, Proc of the 8th European Software Engineering Conference ESEC 2001, Austria, 2001.

C. Angelov, X. Ke, and K. Sierszecki, A Component-Based Framework for Distributed Control Systems, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06), pp.20-27, 2006.
DOI : 10.1109/EUROMICRO.2006.6

C. Angelov, K. Sierszecki, and Y. Guo, Formal Design Models for Distributed Embedded Control Systems, Proc. of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ACES-MB 2009, pp.43-57, 2009.

K. Sierszecki, C. Angelov, and X. Ke, A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications, 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2008.
DOI : 10.1109/RTCSA.2008.33