Igor Melatti Robert Palmer Geoffrey Sawaya Yu Yang Robert M. Kirby Ganesh Gopalakrishnan Parallel and distributed model checking in Eddy. 13-25 2009 11 STTT 1 http://dx.doi.org/10.1007/s10009-008-0094-x db/journals/sttt/sttt11.html#MelattiPSYKG09