Symbolic Execution for Realizability-Checking of Scenario-Based Specifications | IEEE Conference Publication | IEEE Xplore