Dennis Dams Rob Gerth Gert Döhmen Ronald Herrmann Peter Kelb Hergen Pargmann Model Checking Using Adaptive State and Data Abstraction. 455-467 1994 conf/cav/1994 CAV db/conf/cav/cav94.html#DamsGDHKP94 http://dx.doi.org/10.1007/3-540-58179-0_75