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), 55-63.