Huy-Vu Do, Nguyen Thanh Binh, Chantal Robach, Michel Delaunay: Analyse de la Testabilité des Logiciels Flots de Données Synchrones. RIVF 2003: 223-232