Binding requirements and component architecture by using model-based test-driven development | IEEE Conference Publication | IEEE Xplore