Silva, T.; Fitzgerald, B. Parsing BDD Stories for Automated Verification of Software Artefacts. ECEASST 2021, 79.