Termination and Cost Analysis with COSTA and its User Interfaces | Publicación