Sidharta Andalam, Partha S. Roop, Alain Girault. Pruning infeasible paths for tight WCRT analysis of synchronous programs. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 204-209, IEEE, 2011. [doi]
Abstract is missing.