Improved execution interval and binding analysis