%0 Conference Proceedings %F kountouris96b %A Kountouris, A. %T Safe and Efficient Elimination of Infeasible Execution Paths in WCET Estimation %B Proceedings of the International Workshop in R/T Computing Systems and Applications (RTCSA'96) %I IEEE Computer Society Press %C Seoul, South Korea %U ftp://ftp.irisa.fr/local/signal/publis/articles/RTCSA-96:profiling_optim.ps.gz %8 November %D 1996