Fakultät für informatik informatik 12 technische universität dortmund Universität Dortmund Controllersynthese Peter Marwedel Informatik 12.
