Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain | Publicación