The Light Control Case Study: Problem Description. - Stefan Queins; Gerhard Zimmermann; Martin Becker 002; Martin Kronenburg; Christian Peper; Rolf Merz; Jürgen Schäfer (J. Univers. Comput. Sci., 2000)