Specification guidelines to avoid the state space explosion problem. - Jan Friso Groote; Tim W. D. M. Kouters; Ammar Osaiweran (Softw. Test. Verification Reliab., 2015)