An efficient technique for computing importance measures in automatic design of dependable embedded systems | IEEE Conference Publication | IEEE Xplore