Using SPIN for automated debugging of infinite executions of Java programs | Publicación