Precise micro-architectural modeling for WCET analysis via AI+SAT - Banerjee, A. (2014)
10.1109/RTAS.2013.6531082