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