Characterizing Termination in LOTOS via Testing | Publicación