عليزاده, بيژن, نوابی, زین العابدین (2003). يک مدل سطح بالا برای وارسی خواص CTL در طرح توصيف شده توسط VHDL ‌. *فصلنامه مهندسی برق و مهندسی کامپيوتر ايران*, 1(2), 92-98.