Testability analysis applied to embedded data-flow software | IEEE Conference Publication | IEEE Xplore