Esterel Extension of
LUSTRE Influence
RC Influence
SIGNAL Influence