A Parallel Algorithm for the State Space Exploration. - Lamia Allal; Ghalem Belalem; Philippe Dhaussy; Ciprian Teodorov (Scalable Comput. Pract. Exp., 2016)