Validating the correctness of reactive systems specifications through systematic exploration. - Dor Ma'ayan; Shahar Maoz; Roey Rozi (MoDELS, 2022)