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