Introduction

This document contains a problem specification of the Light Control Case Study of the Journal of Universal Computer Science. This projection includes all formal and natural language specifications as well as all references within the document.

A general introduction to problem specifications developed according to the FOREST approach can be found here.

A postscript-file of this problem specification can be found here.