Orna Grumberg Tamir Heyman Assaf Schuster Distributed Symbolic Model Checking for µ-Calculus. 197-219 2005 26 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-005-1493-1 db/journals/fmsd/fmsd26.html#GrumbergHS05