A Multiple Refinement Approach in Abstraction Model Checking. - Phan T. H. Nguyen; Thang H. Bui (CISIM, 2014)