Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun: Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. IEEE Trans. Computers 59(1): 116-126 (2010)