van der Poll, J. A.; Nyembe, F. H. N.; Lotriet, H. H. Formal Methods for an Agile Scrum Software Development Methodology. ICAT 2023, 11, 168-176.