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, vol. 1, no. 2, 2003, pp. 92-98.