Spezifikation und Entwurf der Realzeit-Software für die Regel-basierte Automatisierung einer natürlichen Hallenbelüftung in PEARL-orientierter Form.