D'Arcy Walsh Francis Bordeleau Bran Selic A Constraint-Driven Executable Model of Dynamic System Reconfiguration. 37-50 2008 3 JSW 4 http://www.academypublisher.com/jsw/vol03/no04/jsw03043750.html db/journals/jsw/jsw3.html#WalshBS08