Markus Hannebauer A Formalization of Autonomous Dynamic Reconfiguration in Distributed Constraint Satisfaction. 129-151 2000 43 Fundam. Inform. 1-4 db/journals/fuin/fuin43.html#Hannebauer00