van der Poll, J. A., F. H. N. Nyembe, and H. H. Lotriet. “Formal Methods for an Agile Scrum Software Development Methodology”. Proceedings of the International Conference on Advanced Technologies, vol. 11, Sept. 2023, pp. 168-76, doi:10.58190/icat.2023.35.