Felix Reimann, Michael Glaß, Martin Lukasiewycz, Joachim Keinert, Christian Haubelt, Jürgen Teich: Symbolic voter placement for dependability-aware system synthesis. CODES+ISSS 2008: 237-242