Static properties of commercial embedded real-time programs, and their implication for worst-case execution time analysis | IEEE Conference Publication | IEEE Xplore