A compiler from Estelle to C.
ftp:osi.ncsl.nist.gov/pub/osikit/estpc.
Nearby terms: essential complexity « Estelle « Esterel « EstPC » ET » et » ET++
