Tight WCRT analysis of synchronous C programs (0)

by P S Roop, S Andalam, R von Hanxleden, S Yuan, C Traulsen