بابامیر, سید مرتضی, جلیلی, سعید. (1386). توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرمافزار‌های حساس به ایمنی. مهندسی مکانیک, دوره 23(38 - ویژه مهندسی برق و کامپیوتر), 81-101.

سید مرتضی بابامیر; سعید جلیلی. "توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرمافزار‌های حساس به ایمنی". مهندسی مکانیک, دوره 23, 38 - ویژه مهندسی برق و کامپیوتر, 1386, 81-101.

بابامیر, سید مرتضی, جلیلی, سعید. (1386). 'توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرمافزار‌های حساس به ایمنی', مهندسی مکانیک, دوره 23(38 - ویژه مهندسی برق و کامپیوتر), pp. 81-101.

بابامیر, سید مرتضی, جلیلی, سعید. توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرمافزار‌های حساس به ایمنی. مهندسی مکانیک, 1386; دوره 23(38 - ویژه مهندسی برق و کامپیوتر): 81-101.