بابامیر , سیدمرتضی, احمدی ثابت, ویدا (2012). تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار. *فصلنامه مهندسی برق و مهندسی کامپيوتر ايران*, 10(2), 3-19.