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