Analyse und Synthese von Automaten auf Basis der arithmetischen Modellierung - Preusse, Christian (VDI-Verl., 2005)