Verification of specifications in the language L with respect to temporal properties expressible by GR(1) formulas | IEEE Conference Publication | IEEE Xplore