@phdthesis{Dietterle2009, author = {Daniel Dietterle}, title = {Efficient protocol design flow for embedded systems}, type = {doctoralthesis}, school = {BTU Cottbus - Senftenberg}, year = {2009}, }