Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems | IEEE Conference Publication | IEEE Xplore