Apostolos A. Kountouris. Safe and efficient elimination of infeasible execution paths in WCET estimation. In Third International Workshop on Real-Time Computing Systems Application (RTCSA 96), October 30 - November 01, 1996, Seoul, Korea. pages 187-194, IEEE Computer Society, 1996. [doi]
Abstract is missing.