Combating state explosion in the detection of dynamic properties of distributed computations. - Richard Achmatowicz (2005)