TY - JOUR A1 - Daun, Marian A1 - Brings, Jennifer A1 - Bandyszak, Torsten A1 - Bohn, Philipp A1 - Weyer, Thorsten ED - Bures, Tomás ED - Weyns, Danny ED - Klein, Mark ED - Haber, Rodolfo E. T1 - Collaborating Multiple System Instances of Smart Cyber-physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges JF - 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015, Florence, Italy, May 17, 2015 Y1 - 2015 U6 - https://doi.org/10.1109/SEsCPS.2015.17 SP - 48 EP - 51 ER - TY - JOUR A1 - Daun, Marian A1 - Bohn, Philipp A1 - Brings, Jennifer A1 - Weyer, Thorsten T1 - Structured Model-Based Engineering of Long-living Embedded Systems: The SPES Methodological Building Blocks Framework JF - Softwaretechnik-Trends Y1 - 2016 VL - 36 IS - 1 ER - TY - CHAP A1 - Brings, Jennifer A1 - Bohn, Philipp A1 - Bandyszak, Torsten A1 - Föcker, Felix A1 - Daun, Marian ED - Bjarnason, Elizabeth ED - Borg, Markus ED - Daun, Marian ED - Dieste, Oscar ED - España, Sergio ED - Felderer, Michael ED - Forbrig, Peter ED - Franch, Xavier ED - Gay, Gregory ED - Herrmann, Andrea ED - Horkoff, Jennifer ED - Kirikova, Marite ED - Morandini, Mirko ED - Opdahl, Andreas L. ED - Paech, Barbara ED - Palomares, Cristina ED - Petersen, Kai ED - Seffah, Ahmed ED - Tenbergen, Bastian ED - Unterkalmsteiner, Michael T1 - Model-Based Prototype Development to Support Early Validation of Cyber-Physical System Specifications T2 - Joint Proceedings of REFSQ-2016 Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2016), Gothenburg, Sweden, March 14, 2016 Y1 - 2016 ER -