UML Checkpoints