__Highly Adaptable and Trustworthy Software using Formal Models__ - is an Integrated Project supported by the 7th Framework Programme of the EC within the FET (Future and Emerging Technologies) scheme. The final report evaluated as "Excelent" the project outcome.