A dependability-driven system-level design approach for embedded systems | IEEE Conference Publication | IEEE Xplore