Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider: Separate compilation and execution of imperative synchronous modules. DATE 2009: 1580-1583