Nguyen Thanh Binh, Michel Delaunay, Chantal Robach: Testability Analysis of Data-Flow Software. TACoS 2004: 213-225