From low level to model based and constructive worst case execution time analysis