The effect of uncontrolled concurrency on model checking. - Donna M. Carter; Ramazan Savas Aygün; Glenn W. Cox; Mary Ellen Weisskopf; Letha H. Etzkorn (Concurr. Comput. Pract. Exp., 2008)