Edelkamp, S.; Helmert, M. MIPS: The Model-Checking Integrated Planning System. AIMag 2001, 22, 67.