WCET-aware Register Allocation Based on Integer-Linear Programming. - Heiko Falk; Norman Schmitz; Florian Schmoll (ECRTS, 2011)