David Lesens Nicolas Halbwachs Pascal Raymond Automatic Verification of Parameterized Linear Networks of Processes. 346-357 1997 POPL db/conf/popl/popl97.html#Halbwachs97 http://doi.acm.org/10.1145/263699.263747