ACME vs PDDL: support for dynamic reconfiguration of software architectures - Jean-Eudes Méhus; Thaís Vasconcelos Batista; Jérémy Buisson (CoRR, 2012)