Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries | Publicación