Satisfying Design Constraints for Automotive Safety-Critical Systems (2007-01-1483) | part of Automotive Electronics Reliability | SAE books | IEEE Xplore