Snchronous Programming of Reactive Sstems: an Introduction to ESTEREL, INRIA report 647 (0)

by G BERRY, P COURONN, G GONTHIER