The use of model-based test requirements throughout the product life cycle | IEEE Conference Publication | IEEE Xplore