Víctor A. Braberman Alfredo Olivero Fernando Schapachnik Dealing with practical limitations of distributed timed model checking for timed automata. 197-214 2006 29 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-006-0012-3 db/journals/fmsd/fmsd29.html#BrabermanOS06