Complete worst-case execution time analysis of straight-line hard real-time programs