Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen.