Object-oriented method for real-time systems based on timed automaton | IEEE Conference Publication | IEEE Xplore