Hubert Schmid Thomas Worsch The Firing Squad Synchronization Problem with Many Generals For One-Dimensional CA. 111-124 2004 conf/ifipTCS/2004 IFIP TCS db/conf/ifipTCS/ifipTCS2004.html#SchmidW04