Matthew Kuo, Roopak Sinha, Partha S. Roop. Efficient WCRT analysis of synchronous programs using reachability. In Leon Stok, Nikil D. Dutt, Soha Hassoun, editors, Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011. pages 480-485, ACM, 2011. [doi]
Abstract is missing.