Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen.