Sotudeh, G., Movaghar, A.. “Symbolic Verification of Temporal Fuzzy Logic Properties on Fuzzy Program Graph.” Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran, vol. 15, no. 1, 2017, pp. 55-63.