A Scalable Distributed Algorithm for the Exploration of Very Large State graphs - Harrison, PG; Knottenbelt, WJ (1998)