Orna Grumberg Tamir Heyman Nili Ifergan Assaf Schuster Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation. 129-145 2005 conf/charme/2005 CHARME http://dx.doi.org/10.1007/11560548_12 db/conf/charme/charme2005.html#GrumbergHIS05