An Aspect-Oriented Approach for Assertion Verification | Publicación