| 580 | -- | 581 | Egon Börger, Reinhard Gotzhein. Requirements Engineering - The Light Control Case Study |
| 582 | -- | 585 | Egon Börger, Reinhard Gotzhein. The Light Control Case Study: A Synopsis |
| 586 | -- | 596 | Stefan Queins, Gerhard Zimmermann, Martin Becker, Martin Kronenburg, Christian Peper, Rolf Merz, Jürgen Schäfer. The Light Control Case Study: Problem Description |
| 597 | -- | 620 | Egon Börger, Elvinia Riccobene, Joachim Schmid. Capturing Requirements by Abstract State Machines: The Light Control Case Study |
| 621 | -- | 649 | . Analyzing the Light Control System with PVS |
| 650 | -- | 678 | Constance L. Heitmeyer, Ramesh Bharadwaj. Applying the SCR Requirements Method to the Light Control Case Study |
| 679 | -- | 703 | Martin Kronenburg, Christian Peper. Application of the FOREST Approach to the Light Control Case Study |
| 704 | -- | 730 | Graeme Smith, Colin J. Fidge. Incremental Development of Real-Time Requirements: The Light Control Case Study |
| 731 | -- | 757 | Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl. Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study |