Animating Formal Specifications with Inheritance in a DL-Based Framework | Publicación