تقدير المتطلبات في نموذج CTMC