Naveed Arshad Automated Dynamic Reconfiguration using AI Planning. 402-405 2004 conf/kbse/2004 ASE http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10001 db/conf/kbse/ase2004.html#Arshad04