Improving WCET Analysis Precision through Automata Product | IEEE Conference Publication | IEEE Xplore