Abstracting UML Behavior Diagrams for Verification | Publicación