Functional decomposition method reveals the number of possible specifications of multi-robot system | IEEE Conference Publication | IEEE Xplore