J. Vilanek: "Synthese eines SAB-R3223 in VHDL und State Charts"; Institut für Technische Informatik, 1997.