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