Describir: Construction of Real-Time Oracle Using Timed Automata