Efficient WCRT analysis of synchronous programs using reachability.

Matthew M. Y. Kuo, Roopak Sinha, Partha S. Roop

Browse the full DAC paper archive.