Symbolic Reliability Analysis and Optimization of ECU Networks. - Glaß, Michael; Lukasiewycz, Martin; Reimann, Felix; Haubelt, Christian; Teich, Jürgen (2008)