Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique
2016 ◽
Vol E99.A
(12)
◽
pp. 2320-2327