T. SAEED, S. S. MUHAMMAD, M. A. FAHIEM, S. AHMAD, M. T. PERVEZ, and A. B. DOGAR, “Mapping Formal Methods to Extreme Programming (XP) –A Futuristic Approach”, ijnes, vol. 8, no. 3, pp. 35–42, Jun. 2019.