Extending Lustre with Timeout Automata.
,
Proceedings of Model-driven High-level Programming of Embedded Systems (SLA++P 2007), Electronic Notes in Theoretical Computer Science (ENTCS), vol. 203, issue 4, pp. 111-124, Elsevier, 2008.
,
Proceedings of Model-driven High-level Programming of Embedded Systems (SLA++P 2007), Electronic Notes in Theoretical Computer Science (ENTCS), vol. 203, issue 4, pp. 111-124, Elsevier, 2008.