Pei-Hsin Ho Abstraction Refinement. 7 https://doi.org/10.1007/978-3-540-30476-0_3 2004 conf/atva/2004 ATVA db/conf/atva/atva2004.html#Ho04