Yang, YiYiYangHolvoet, TomTomHolvoet2024-09-302023-10-172024-09-3020241012-2443WOS:001075454000001https://imec-publications.be/handle/20.500.12860/42795Making model checking feasible for GOALJournal article10.1007/s10472-023-09898-3WOS:001075454000001