Platform-independent verification of real-time programs | IEEE Conference Publication | IEEE Xplore