Model based systems engineering to support failure mode avoidance for driver-assistance systems | IEEE Conference Publication | IEEE Xplore