Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen. - Peter Herrmann; Manfred Noël (FBT, 1999)