Model checking approach to automated planning. - Li, Yi; Dong, Jin Song; Sun, Jing; Liu, Yang; Sun, Jun (Formal Methods Syst. Des., 2014)