Zum Testen und Komplettieren von asynchronen Automaten bezüglich Prellunempfindlichkeit.