Analyzing the Scrum Process Model with AVISPA | IEEE Conference Publication | IEEE Xplore