**Construction of Real-Time Oracle Using Timed Automata**

Seyed Morteza Babamir1 and Mehdi Borhani Dehkordi2 *1University of Kashan, Kashan, 2University of Science and Applied Shar-e-Kord, Shahr-e-Kord, Iran* 
