Verification of dynamically reconfigurable embedded systems by model transformation rules. - Felix Madlener; Julia Weingart; Sorin A. Huss (CODES+ISSS, 2010)