Verification of real-time properties for Hardware-dependent Software | IEEE Conference Publication | IEEE Xplore