Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition Book chapter (October 2022)