Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology. - Böhm, Wolfgang. (Springer International Publishing AG, 2020)