Compilation of synchronous observers as code contracts. - Arnaud Dieumegard; Pierre-Loïc Garoche; Temesghen Kahsai; Alice Taillar; Xavier Thirioux (SAC, 2015)