Ortiz, J. J. Modeling and Specification of Distributed Timed Systems. inycomp 2013, 15, 115-124.