Francesco Curatelli Leonardo Mangeruca A Method for Computing the Number of Iterations in Data Dependent Loops. 73-104 2006 32 Real-Time Systems 1-2 http://dx.doi.org/10.1007/s11241-006-5317-1 db/journals/rts/rts32.html#CuratelliM06