Orna Grumberg Tamir Heyman Assaf Schuster A work-efficient distributed algorithm for reachability analysis. 157-175 2006 29 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-006-0011-4 db/journals/fmsd/fmsd29.html#GrumbergHS06