Design and verification of trusted collective adaptive systems
scientific article; zbMATH DE number 7892825