Johnny Accot Stéphane Chatty Sébastien Maury Philippe A. Palanque Formal transducers: Models of devices and building bricks for the design of highly interactive systems. 143-159 1997 conf/dsvis/1997 DSV-IS db/conf/dsvis/dsvis1997.html#AccotCMP97