An approach to symbolic worst-case execution time analysis,” (2000)

by G Bernat, A Burns
Venue:in Proceedings of the 25th Workshop on Real-Time Programming,