An Approach to Checking SOC Timing Safety | IEEE Conference Publication | IEEE Xplore