D'Arcy Walsh Francis Bordeleau Bran Selic A Constrained Executable Model of Dynamic System Reconfiguration. 257 2007 conf/hicss/2007 HICSS http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.11 db/conf/hicss/hicss2007.html#WalshBS07