A 5 hours tutorial on the language Lustre and the verification tools Lesar and Lucifer was given at the "Forum on Design Languages", FDL'99 (Lyon, France, Aug. 30 - Sept. 3, 1999)
Two partners participated in an industry tutorial on Avionics Systems, part of the "World Congress on Formal Methods", FM'99 (Toulouse, France, September 20-24, 1999).
An extended version of the tutorial on Stålmarck method will appear in "Formal Methods in System Design".