A testability analysis for data-flow designs of reactive real-time systems. - Huy-Vu Do; Chantal Robach; Michel Delaunay; Jean-Sébastien Cruz (IASTED Conf. on Software Engineering and Applications, 2004)