The main objective of the CERTIMOT project is to enable certification for model transformations used in critical systems and service design. Novel models, languages, and techniques and tools will be developed to systematically design, generate, verify and trace model transformation artifacts required in a certification process. As a long term vision, CERTIMOT results will significantly reduce efforts required to certify model transformations