Babamiri, S. M. , and Jalili, S. . "EBV, AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN-TIME VERIFIER OF THE SAFETY-CRITICAL SOFTWARE", Sharif Journal of Industrial Engineering & Management, Vol.23, No . 38, 2007, 81-101.