Specification and Description Language Models Automatic Execution in a High-Performance Environment | Publicación