Automated code generation of dynamic specializations: an approach based on design patterns and formal techniques | Publicación