Text this: Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion