Progress on static probabilistic timing analysis for systems with random cache replacement policies