timed automata based modeling languages semantic unit 8550272