Our paper Toward Learning Realizable Scenario-based, Formal Requirements Specifications was accepted at the AIRE 2017 workshop, co-located with RE’17.