Davide Giacomo Cavezza, Dalal Alrajeh, András György: A Weakness Measure for GR(1) Formulae. FM 2018: 110-128