Tuba Yavuz-Kahveci Constantinos Bartzis Tevfik Bultan Action Language Verifier, Extended. 413-417 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_40 db/conf/cav/cav2005.html#Yavuz-KahveciBB05