Derivation tree analysis for accelerated fixed-point computation. - Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael (Theor. Comput. Sci., 2011)