An efficient requirements-driven and scenario-driven verification flow Author(s): Walter Tibboel, Heino van Orsouw, and Shuang Han Download