Verifying Properties of Large Sets of Processes with Network Invariants. - Pierre Wolper; Vinciane Lovinfosse (Automatic Verification Methods for Finite State Systems, 1989)