Alizadeh, B., Navabi, Z. (2003) ‘A New High Level Model to Check CTL Properties in VHDL Environment’, Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran, 1(2), pp. 92-98. doi: