Ein umfassendes Handbuch, das abstrakte Zustandsmaschinen als Werkzeug für hochrangiges Systemdesign vorstellt, mit theoretischer Tiefe, klaren Formeln und praxisnahen Fallstudien zur Verifikation komplexer Abläufe.