بررسی نرم افزار شبیه سازی WITNESS. کهربا 1403, 11 (43), 63-77.