Sotudeh, G., Movaghar, A. (2017) ‘Symbolic Verification of Temporal Fuzzy Logic Properties on Fuzzy Program Graph’, Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran, 15(1), pp. 55-63. doi: