Comparing model checkers for timed UML activity diagrams