Formal Modeling and Verification of Systems with Self-x Properties | Publicación