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. 2017;15(1):55-63.