| 07/2000
| TCS
| Specification of a Traffic Control System
|
| 10/1999
| LC-JUCS
| Specification of the RE case study (RECS) "Light Control" of the Journal of Universal Computer Science (J.UCS)
|
| 06/1999
| LC-DAG
| Specification of the case study "Light Control System" of the Dagstuhl Seminar "Requirements Capture / Documentation / Validation"
|
| 04/1999
| LTC-B
| Specification of a "Light and Temperature Control System" for a practical course
|
| 10/1998
| LTC-A
| Specification of a "Light and Temperature Control System"
|
|
| Other
| (access limited)
|