A testability analysis for data-flow designs of reactive real-time systems