@INPROCEEDINGS{RGLHKT2008,
        AUTHOR             = {{Reimann}, {Felix} and {Gla{\ss}}, {Michael} and {Lukasiewycz}, {Martin} and {Haubelt}, {Christian} and {Keinert}, {Joachim} and {Teich}, {J{\"u}rgen}},
        ADDRESS            = {Atlanta GA, USA},
        BOOKTITLE          = {Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)},
        MONTH              = oct,
        TITLE              = {{Symbolic Voter Placement for Dependability-Aware System Synthesis}},
        YEAR               = {2008},
        PAGES            = {237--242},
        DATE               = {October 19--24}
}