Tomás E. Uribe Combinations of Model Checking and Theorem Proving. 151-170 2000 conf/frocos/2000 FroCos db/conf/frocos/frocos2000.html#Uribe00