Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems. - Francesca Saglietti; David Fohrweiser; Stefan Winzinger; Raimar Lill (EUROMICRO-SEAA, 2015)