A general tutorial on synchronous programming has been given at the conference CAV'98 (Vancouver, July 98) and at the School on Computational Aspects and Applications of Hybrid Systems (Grenoble, October 98). The corresponding paper appeared in CAV Proceedings:
Nicolas Halbwachs. Synchronous programming of reactive systems, a tutorial and commented bibliography. Tenth International Conference on Computer-Aided Verification, CAV'98, Vancouver (B.C.), July 98. LNCS 1427, pp. 1-16.and constitutes the Annex A.0.2.2.a of this deliverable.
A tutorial on Stålmarck Method has been given at FMCAD'98:
Mary Sheeran and Gunnar Stålmarck. A tutorial on Stålmarck's proof procedure for propositional logic. International Conference on Formal Methods in Computer-Aided Design (FMCAD'98). Palo Alto (Ca), November 98.and constitutes the Annex A.0.2.2.b of this deliverable.