Martin WirsingRocco De NicolaStefan JähnichenRigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition.161-1702020ISoLA (2)https://doi.org/10.1007/978-3-030-61470-6_10conf/isola/2020-2db/conf/isola/isola2020-2.html#WirsingNJ20