Techniques and tools for automated safety analysis & decision support for redundancy allocation automotive systems | IEEE Conference Publication | IEEE Xplore