Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions | Publicación