Huy-Vu Do Nguyen Thanh Binh Chantal Robach Michel Delaunay Analyse de la Testabilité des Logiciels Flots de Données Synchrones. 223-232 2003 conf/rivf/2003 RIVF http://www.e-ifi.org/rivf2003/proceedings/p223-232.pdf db/conf/rivf/rivf2003.html#DoBRD03