Banki, H., Ahmadi Sabet, V.. “Determination of Formal Methods Capabilities for Software Specification and Analysis.” Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran, vol. 10, no. 2, 2012, pp. 3-19.