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