M. P. J. Fromherz, D. G. Bobrow, and J. de Kleer, “Model-Based Computing for Design and Control of Reconfigurable Systems”, AIMag, vol. 24, no. 4, p. 120, Dec. 2003.