Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata