Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions | Publicación