Towards execution time estimation in abstract machine-based languages | Publicación