IST-2001-34825 SEWASIE general meeting Aachen, March 14, 2005 System Evolution Tools Maurizio Vincini and Enrico Franconi.