POLIS
F.Balerin, et al, “Synthesis of software
programs
for
embedded control applications”, TCAD 1999
ESTEREL
G.Berry, “The foundations of Esterel”,
2000
MVSIS
Y.Jiang, et al, “Logic optimization and code
generation
for
embedded control applications”, CODES 2000