Paulo Tabuada, George J. Pappas, Pedro U. Lima: Feasible formations of multi-agent systems. ACC 2001: 56-61