The use of model-based test requirements throughout the product life cycle | IEEE Journals & Magazine | IEEE Xplore