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