Alessandro Cimatti Marco Roveri Conformant Planning via Model Checking. 21-34 1999 conf/ecp/1999 ECP db/conf/ecp/ecp1999.html#CimattiR99