An Introduction to Esterel. - Palshikar, Girish Keshav (Embedded Systems Programming, 2001)