Jakob Gartner, Deputy CTO, Esterel Technologies