Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen.