Eric Madelaine Didier Vergamini AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. 61-66 1989 conf/forte/1989 FORTE db/conf/forte/forte1989.html#MadelaineV89