Maoz, Ringert, 2015. GR(1) synthesis for LTL specification patterns, in: . ACM Press.. https://doi.org/10.1145/2786805.2786824