Zustände, Übergänge und Ausgaben: Automaten lesen, entwickeln und implementieren — und ihre Grenzen erkennen.