Rob Gerth Model Checking (Abstract). 39 1997 ILPS db/conf/slp/slp97.html#Gerth97