Cost Analysis Using Automatic Size and Time Inference. - Portillo, Álvaro J. Rebón; Hammond, Kevin; Loidl, Hans-Wolfgang; Vasconcelos, Pedro B. (2002)