T. Silva and B. Fitzgerald, “Parsing BDD Stories for Automated Verification of Software Artefacts”, eceasst, vol. 79, May 2021.