Safety across the HW/SW interface - Can formal methods meet the challenge? | IEEE Conference Publication | IEEE Xplore