J. A. van der Poll, F. H. N. Nyembe, and H. H. Lotriet, “Formal Methods for an Agile Scrum Software Development Methodology”, ICAT, vol. 11, pp. 168–176, Sep. 2023.