Igor Melatti Robert Palmer Geoffrey Sawaya Yu Yang Robert M. Kirby Ganesh Gopalakrishnan Parallel and Distributed Model Checking in Eddy. 108-125 2006 conf/spin/2006 SPIN http://dx.doi.org/10.1007/11691617_7 db/conf/spin/spin2006.html#MelattiPSYKG06