@phdthesis{haubelt05,
        AUTHOR             = {{Haubelt}, {Christian}},
        ADDRESS            = {Berlin},
        TITLE              = {{Automatic} {Model}-{Based} {Design} {Space} {Exploration} for {Embedded} {Systems} -- {A} {System} {Level} {Approach}},
        PUBLISHER          = {Dr. K{\"o}ster},
        MONTH              = jul,
        SCHOOL             = {University of Erlangen-Nuremberg, Germany},
        YEAR               = {2005},
        ISSN_ISBN          = {3-89574-572-3}
}