Joel M. Esposito, Moonzoo Kim. Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 37(3):285-297, 2007. [doi]
Abstract is missing.