Validating objected-oriented prototype of real-time systems with timed automata | IEEE Conference Publication | IEEE Xplore