Formations -- Part III: Coordination Algorithms and Formal Methods -- Part IV: