Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. - Predrag Filipovikj; Trevor Jagerfield; Mattias Nyberg; Guillermo Rodríguez-Navas; Cristina Cerschi Seceleanu (COMPSAC Workshops, 2016)