A Framework for Integrated Behaviour Driven Development and Model Based Feature Design and Verification. - Sandeep Sandhu; Sulakshan Rajendran; Fernando Sarracini Jr.; Morteza Soleimani (VEHITS, 2026)