1. André, C.: Representation and analysis of reactive behaviors: A synchronous approach. In: CESA 1996, Lille, France (July 1996)
2. Berry, G.: Esterel on hardware. Philosophical Transactions Royal Society of London A 339, 87–104 (1992)
3. Berry, G.: The Constructive Semantics of Pure Esterel. Draft book version 3 (July 1999), available at
http://www.esterel.org
4. Brand, D., Drumm, A., Kundu, S., Narain, P.S.: Incremental synthesis. In: Proc. ICCAD (1994)
5. Coudert, O., Berthet, C., Madre, J.-C.: New ideas on symbolic manipulation of finite state machines. In: Proc. ICCAD (1990)