Kojiro Kobayashi Darin Goldstein On Formulations of Firing Squad Synchronization Problems. 157-168 2005 conf/uc/2005 UC http://dx.doi.org/10.1007/11560319_15 db/conf/uc/uc2005.html#KobayashiG05