Text this: TOWARDS THE USAGE OF WINDOW COUNTING CONSTRAINTS IN THE SYNTHESIS OF REACTIVE SYSTEMS TO REDUCE STATE SPACE EXPLOSION.