Abstract is missing.
- IntroductionClaus Lewerentz, Thomas Lindner. 1-6
- Task DescriptionThomas Lindner. 7-19
- Comparative SurveyClaus Lewerentz, Thomas Lindner. 21-54
- CSLKlaus Nökel, Klaus Winkelmann. 55-74
- ESTERELReinhard Budde. 75-100
- LUSTRELeszek Holenderski. 101-112
- SIGNALPascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten. 113-129
- StatechartsWerner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör. 131-149
- TLTJorge Cuéllar, Martin Huber. 151-169
- SDLStefan Heinkel, Thomas Lindner. 171-183
- FocusMax Fuchs, Jan Philipps. 185-197
- SPECTRUMDimitris Dranidis, Stefan Gastinger. 199-228
- KIVGerhard Schellhorn, Axel Burandt. 229-245
- TatzelwurmStefan Klingenbeck, Thomas Käufl. 247-259
- HTTDs and HOLRachel Cardell-Oliver. 261-276
- RAISEFrançois Erasmy, Emil Sekerinski. 277-293
- Deductive SynthesisJochen Burghardt. 295-309
- Symbolic Timing DiagramsFranz Korf, Rainer Schlör. 311-331
- LCM and MCMRoel Wieringa. 333-355
- Modula-3Andreas Rüping, Emil Sekerinski. 357-371
- TROLL lightRudolf Herzig, Nikolaos Vlachantonis. 373-381
- SimulationArtur Bauer, Thomas Lindner. 383-394