Rigorous engineering of collective adaptive systems: special section
International Journal on Software Tools for Technology Transfer (2020) - Comments
doi: 10.1007/s10009-020-00565-0  issn: 1433-2779  issn: 1433-2787 

Rocco De Nicola, Stefan Jähnichen, Martin Wirsing