Knor: reactive synthesis using Oink. - Tom van Dijk; Feije van Abbema; Naum Tomov (TACAS (1), 2024)