Our paper titled Symbolic Execution for Realizability-Checking of Scenario-based Specifications was accepted at MODELS 2017. See you in Austin!