Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS