Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems | Publicación