E. Thamm: "05.10.2015"; Supervisor: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2015; final examination: 2015-11-10.