Thaden, Eike Martin (2013) Semi-automatic optimization of hardware architectures in embedded systems. PhD, Universität Oldenburg.