Stefan Queins Gerhard Zimmermann Martin Becker Martin Kronenburg Christian Peper Rolf Merz Jürgen Schäfer The Light Control Case Study: Problem Description. 586-596 2000 6 J. UCS 7 db/journals/jucs/jucs6.html#QueinsZBKPMS00 http://www.jucs.org/jucs_6_7/light_control_problem_description