Chang, Garg, 2015. A parallel algorithm for global states enumeration in concurrent systems, in: . ACM Press.. https://doi.org/10.1145/2688500.2688520