S. Osama, S. Iqbal, and A. Ahsan, “FORMAL METHODS ADAPTATION IN PAKISTAN’S SOFTWARE INDUSTRY”, The Nucleus, vol. 49, no. 2, pp. 149–153, Apr. 2012.