Fabrizio Montesi Professor Phone: +45 65 50 71 71 Email: fmontesi@imada.sdu.dk Webpage: Keywords: System adaptation, formal methods.