Víctor A. Braberman Alfredo Olivero Fernando Schapachnik Issues in distributed timed model checking. 4-18 2005 7 STTT 1 http://www.springerlink.com/index/10.1007/s10009-004-0143-z db/journals/sttt/sttt7.html#BrabermanOS05