Dealing with practical limitations of distributed timed model checking for timed automata