Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko. Verification of networks of timed automata using mCRL2. In 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008. pages 1-8, IEEE, 2008. [doi]
Abstract is missing.