An efficient requirements-driven and scenario-driven verification flow

Author(s):
Walter Tibboel, Heino van Orsouw, and Shuang Han