Orna Grumberg Tamir Heyman Assaf Schuster Distributed Symbolic Model Checking for µ-Calculus. 350-362 2001 conf/cav/2001 CAV http://dx.doi.org/10.1007/3-540-44585-4_32 db/conf/cav/cav2001.html#GrumbergHS01