Introduction

This document contains a problem specification for the light control in the fourth floor of building 32 of the University of Kaiserslautern developed according to the FOREST approach. 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.