Dou, H., Barkaoui, K., Boucheneb, H., Jiang, X. & Wang, S. (2019). Maximal good step graph methods for reducing the generation of the state space. IEEE Access, 7, p. 155805-155817.