Kaninda Musumbu Abstraction and Refinement in Static Model-Checking http://arxiv.org/abs/0902.1871 2009 CoRR abs/0902.1871 db/journals/corr/corr0902.html#abs-0902-1871 informal publication