{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:22:17Z","timestamp":1762917737484},"reference-count":92,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,2,1]],"date-time":"2017-02-01T00:00:00Z","timestamp":1485907200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s10270-017-0583-z","type":"journal-article","created":{"date-parts":[[2017,2,1]],"date-time":"2017-02-01T13:14:00Z","timestamp":1485954840000},"page":"157-189","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Transactional execution of hierarchical reconfigurations in cyber-physical systems"],"prefix":"10.1007","volume":"18","author":[{"given":"Christian","family":"Heinzemann","sequence":"first","affiliation":[]},{"given":"Steffen","family":"Becker","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Volk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,2,1]]},"reference":[{"key":"583_CR1","volume-title":"Component Software-Beyond Object-Oriented Programming","author":"C Szyperski","year":"2002","unstructured":"Szyperski, C., Gruntz, D., Murer, S.: Component Software-Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Boston (2002)","edition":"2"},{"key":"583_CR2","volume-title":"Concurrency Control and Recovery in Database Systems","author":"PA Bernstein","year":"1987","unstructured":"Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison Wesley, Boston (1987)"},{"key":"583_CR3","doi-asserted-by":"publisher","unstructured":"Hang, Y., Carlson, J., Hansson, H.: Towards mode switch handling in component-based multi-mode systems, In: Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE\u201912, pp. 183\u2013188. ACM, New York, NY (2012). doi:\n                    10.1145\/2304736.2304766","DOI":"10.1145\/2304736.2304766"},{"key":"583_CR4","doi-asserted-by":"publisher","unstructured":"Pop, T., Pl\u00e1\u0161il, F., Outly, M., Malohlava, M., Bure\u0161, T.: Property networks allowing oracle-based mode-change propagation in hierarchical components, In: Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE\u201912, pp. 93\u2013102. ACM, New York, NY (2012). doi:\n                    10.1145\/2304736.2304753","DOI":"10.1145\/2304736.2304753"},{"issue":"1","key":"583_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00450-011-0184-y","volume":"28","author":"T Eckardt","year":"2013","unstructured":"Eckardt, T., Heinzemann, C., Henkler, S., Hirsch, M., Priesterjahn, C., Sch\u00e4fer, W.: Modeling and verifying dynamic communication structures based on graph transformations. Comput. Sci. Res. Dev. 28(1), 3\u201322 (2013). doi:\n                    10.1007\/s00450-011-0184-y","journal-title":"Comput. Sci. Res. Dev."},{"key":"583_CR6","doi-asserted-by":"publisher","unstructured":"Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Sch\u00e4fer, W., Meyer, M., Pohlmann, U.: The MechatronicUML method: Model-driven software engineering of self-adaptive mechatronic systems, In: Companion Proceedings of the 36th International Conference on Software Engineering, ICSE Companion 2014, pp. 614\u2013615. ACM, New York, NY (2014). doi:\n                    10.1145\/2591062.2591142","DOI":"10.1145\/2591062.2591142"},{"key":"583_CR7","doi-asserted-by":"publisher","unstructured":"Heinzemann, C., Becker, S.: Executing reconfigurations in hierarchical component architectures, In: Proceedings of the 16th international ACM Sigsoft symposium on Component based software engineering, CBSE \u201913, pp. 3\u201312. ACM, New York, NY (2013). doi:\n                    10.1145\/2465449.2465452","DOI":"10.1145\/2465449.2465452"},{"key":"583_CR8","unstructured":"Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Thiele, S., Sch\u00e4fer, W., Meyer, M., Pohlmann, U., Priesterjahn, C., Tichy, M.: The MechatronicUML design method \u2013process and language for platform-independent modeling, Tech. Rep. tr-ri-14-337, Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, version 0.4 (2014)"},{"key":"583_CR9","unstructured":"Group, O.M.: Model Driven Architecture (MDA) \u2013 MDA Guide rev. 2.0, document \u2013 ormsc\/14-06-01 (2014). \n                    http:\/\/www.omg.org\/cgi-bin\/doc?ormsc\/14-06-01"},{"key":"583_CR10","unstructured":"Heinzemann, C.: Verification and simulation of self-adaptive mechatronic systems, Ph.D. thesis, University of Paderborn (2015)"},{"key":"583_CR11","volume-title":"Component-Based Software Engineering: Putting the Pieces Together","year":"2001","unstructured":"Heineman, G.T., Councill, W.T. (eds.): Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley Longman Publishing Co. Inc, Boston (2001)"},{"key":"583_CR12","unstructured":"Group, O.M.: Unified Modeling Language (UML) 2.4.1 Superstructure Specification, document formal\/2011-08-06 (2011)"},{"key":"583_CR13","doi-asserted-by":"publisher","unstructured":"Bengtsson, J., Yi, W.: Timed automata: Semantics, algorithms and tools, In: Desel, J., Reisig, W. Rozenberg, G. (Eds.) Lectures on Concurrency and Petri Nets, Vol. 3098 of Lecture Notes in Computer Science, pp. 87\u2013124. Springer, Heidelberg (2004). doi:\n                    10.1007\/978-3-540-27755-2_3","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"583_CR14","unstructured":"Gerking, C., Dziwok, S., Heinzemann, C., Sch\u00e4fer, W.: Domain-specific model checking for cyber-physical systems, In: 12th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2015), Ottawa (2015)"},{"key":"583_CR15","doi-asserted-by":"publisher","unstructured":"Burmester, S., Giese, H., Oberschelp, O.: Hybrid UML components for the design of complex self-optimizing mechatronic systems, In: Braz, J. Ara\u00fajo, H. Vieira, A. Encarna\u00e7\u00e3o, B. (Eds.) Informatics in Control, Automation and Robotics I, pp. 281\u2013288. Springer, Netherlands (2006). doi:\n                    10.1007\/1-4020-4543-3_34","DOI":"10.1007\/1-4020-4543-3_34"},{"key":"583_CR16","unstructured":"Osmic, S., M\u00fcnch, E., Tr\u00e4chtler, A., Henkler, S., Sch\u00e4fer, W., Giese, H., Hirsch, M.: Safe online-reconfiguration of self-optimizing mechatronic systems, In: Gausemeier, J., Rammig, F.J., Sch\u00e4fer, W. (Eds.) Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten. 7. Internationales Heinz Nixdorf Symposium f\u00fcr industrielle Informationstechnik, pp. 411\u2013426. (2008)"},{"issue":"7","key":"583_CR17","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MC.2004.48","volume":"37","author":"PK McKinley","year":"2004","unstructured":"McKinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.C.: Composing adaptive software. Computer 37(7), 56\u201364 (2004). doi:\n                    10.1109\/mc.2004.48","journal-title":"Computer"},{"key":"583_CR18","doi-asserted-by":"publisher","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software, In: Proceedings of the 28th international Conference on Software Engineering, ICSE \u201906, pp. 371\u2013380. ACM, New York, NY (2006). doi:\n                    10.1145\/1134285.1134337","DOI":"10.1145\/1134285.1134337"},{"key":"583_CR19","unstructured":"Tichy, M., Henkler, S., Holtmann, J., Oberth\u00fcr, S.: Component story diagrams: A transformation language for component structures in mechatronic systems, In: Postproceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), pp. 27\u201339 (2008)"},{"key":"583_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","volume-title":"Fundamentals of Algebraic Graph Transformation, Monographs in Theoretical Computer Science","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation, Monographs in Theoretical Computer Science. Springer, Berlin (2006). doi:\n                    10.1007\/3-540-31188-2"},{"key":"583_CR21","first-page":"47","volume-title":"Foundations of Component-Based Systems","author":"D Garlan","year":"2000","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: architectural description of component-based systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 47\u201367. Cambridge University Press, New York, NY (2000)"},{"key":"583_CR22","unstructured":"Heinzemann, C.: Component story decision diagrams, Tech. Rep. tr-ri-14-335, Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn (2014)"},{"key":"583_CR23","doi-asserted-by":"publisher","unstructured":"L\u00e9ger, M., Ledoux, T., Coupaye, T.: Reliable dynamic reconfigurations in a reflective component model, In: Grunske, L., Reussner, R., Pl\u00e1\u0161il, F. (Eds.) Component-Based Software Engineering, Vol. 6092 of Lecture Notes in Computer Science, pp. 74\u201392. Springer, Heidelberg (2010). doi:\n                    10.1007\/978-3-642-13238-4_5","DOI":"10.1007\/978-3-642-13238-4_5"},{"key":"583_CR24","doi-asserted-by":"publisher","unstructured":"Heinzemann, C., Sudmann, O., Sch\u00e4fer, W., Tichy, M.: A discipline-spanning development process for self-adaptive mechatronic systems, in: Proceedings of the 2013 International Conference on Software and System Process, ICSSP 2013, pp. 36\u201345. ACM, New York, NY (2013). doi:\n                    10.1145\/2486046.2486055","DOI":"10.1145\/2486046.2486055"},{"issue":"11\u2014-12","key":"583_CR25","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1002\/spe.767","volume":"36","author":"E Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.-B.: The FRACTAL component model and its support in Java. Softw. Pract. Exp. 36(11\u2014-12), 1257\u20131284 (2006). doi:\n                    10.1002\/spe.767","journal-title":"Softw. Pract. Exp."},{"key":"583_CR26","doi-asserted-by":"publisher","unstructured":"Bennour, B., Henrio, L., Rivera, M.: A reconfiguration framework for distributed components, In: Proceedings of the 2009 ESEC\/FSE Workshop on Software Integration and Evolution @ Runtime, SINTER \u201909, pp. 49\u201356. ACM, New York, NY (2009). doi:\n                    10.1145\/1596495.1596509","DOI":"10.1145\/1596495.1596509"},{"issue":"10","key":"583_CR27","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.B.: Models@ run.time. Computer 42(10), 22\u201327 (2009). doi:\n                    10.1109\/mc.2009.326","journal-title":"Computer"},{"key":"583_CR28","doi-asserted-by":"publisher","unstructured":"Heinzemann, C., Rieke, J., Sch\u00e4fer, W.: Simulating self-adaptive component-based systems using MATLAB\/Simulink, In: IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems, SASO \u201913, IEEE Computer Society, pp. 71\u201380. (2013). doi:\n                    10.1109\/SASO.2013.17","DOI":"10.1109\/SASO.2013.17"},{"key":"583_CR29","doi-asserted-by":"publisher","unstructured":"Kramer, J., Magee, J.: Analysing dynamic change in software architectures: A case study, in: Proceedings of the Fourth International Conference on Configurable Distributed Systems, CDS \u201998, IEEE Computer Society, pp. 91\u2013100. (1998). doi:\n                    10.1109\/CDS.1998.675762","DOI":"10.1109\/CDS.1998.675762"},{"key":"583_CR30","doi-asserted-by":"crossref","unstructured":"Schubert, D., Gerking, C., Heinzemann, C.: Towards safe execution of reconfigurations in cyber-physical systems, In: Proceedings of the 19th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE \u201916 (2016)","DOI":"10.1109\/CBSE.2016.10"},{"key":"583_CR31","doi-asserted-by":"publisher","unstructured":"Priesterjahn, C., Steenken, D., Tichy, M.: Timed hazard analysis of self-healing systems, In: C\u00e1mara, J., de\u00a0Lemos, R., Ghezzi, C., Lopes, A. (Eds.) Assurances for Self-Adaptive Systems, Lecture Notes in Computer Science, vol. 7740, pp. 112\u2013151. Springer, Heidelberg (2013). doi:\n                    10.1007\/978-3-642-36249-1_5","DOI":"10.1007\/978-3-642-36249-1_5"},{"key":"583_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00450-014-0259-7","volume":"30","author":"S Ziegert","year":"2014","unstructured":"Ziegert, S., Wehrheim, H.: Temporal plans for software architecture reconfiguration. Comput. Sci. Res. Dev. 30, 1\u201318 (2014). doi:\n                    10.1007\/s00450-014-0259-7","journal-title":"Comput. Sci. Res. Dev."},{"issue":"3","key":"583_CR33","doi-asserted-by":"publisher","first-page":"36:1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenstr\u00f6m, P.: The worst-case execution-time problem\u2013overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. (TECS) 7(3), 36:1\u201336:53 (2008). doi:\n                    10.1145\/1347375.1347389","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"key":"583_CR34","unstructured":"Burmester, S., Giese, H., Seibel, A., Tichy, M.: Worst-case execution time optimization of story patterns for hard real-time systems, In: Proceedings of the 3rd International Fujaba Days 2005, pp. 71\u201378 (2005)"},{"issue":"3\u20134","key":"583_CR35","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/s00450-014-0257-9","volume":"30","author":"C Heinzemann","year":"2015","unstructured":"Heinzemann, C., Brenner, C., Dziwok, S., Sch\u00e4fer, W.: Automata-based refinement checking for real-time systems. Comput. Sci. Res. Dev. 30(3\u20134), 255\u2013283 (2015). doi:\n                    10.1007\/s00450-014-0257-9","journal-title":"Comput. Sci. Res. Dev."},{"key":"583_CR36","doi-asserted-by":"publisher","unstructured":"Pohlmann, U., Holtmann, J., Meyer, M., Gerking, C.: Generating Modelica models from software specifications for the simulation of cyber-physical systems, In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications, SEAA \u201914, IEEE Computer Society, pp. 191\u2013198 (2014). doi:\n                    10.1109\/SEAA.2014.18","DOI":"10.1109\/SEAA.2014.18"},{"key":"583_CR37","doi-asserted-by":"publisher","unstructured":"Burmester, S., Giese, H., Sch\u00e4fer, W.: Model-driven architecture for hard real-time systems: From platform independent models to code, In: Hartman, A., Kreische, D. (Eds.) Proceedings of the European Conference on Model Driven Architecture \u2013 Foundations and Applications (ECMDA-FA \u201905). Lecture Notes in Computer Science, vol. 3748, pp. 25\u201340. Springer, Heidelberg (2005). doi:\n                    10.1007\/11581741_4","DOI":"10.1007\/11581741_4"},{"key":"583_CR38","doi-asserted-by":"publisher","unstructured":"Pohlmann, U., Meyer, M., Dann, A., Brink, C.: Viewpoints and views in hardware platform modeling for safe deployment, In: Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, VAO \u201914, pp. 23:23\u201323:30. ACM, New York, NY (2014). doi:\n                    10.1145\/2631675.2631682","DOI":"10.1145\/2631675.2631682"},{"key":"583_CR39","unstructured":"Heinzemann, C., Suck, J., Eckardt, T.: Reachability analysis on timed graph transformation systems, Electron. Commun. EASST 32"},{"key":"583_CR40","volume-title":"Developer Documentation of the Project Group SafeBots I","author":"AS Ahmadian","year":"2011","unstructured":"Ahmadian, A.S., Aydogan, C., Braun, D., Bustamante, L.G., Gerking, C., Issiz, S., Kopecki, L., Prescher, P.: Developer Documentation of the Project Group SafeBots I. Project group. University of Paderborn, Paderborn (2011)"},{"key":"583_CR41","volume-title":"Model Checking","author":"EM Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"583_CR42","doi-asserted-by":"publisher","unstructured":"Rensink, A.: Model checking quantified computation tree logic, In: Baier, C., Hermanns, H. (Eds.) CONCUR 2006 \u2013 Concurrency Theory, Lecture Notes in Computer Science, vol. 4137, pp. 110\u2013125. Springer, Heidelberg (2006). doi:\n                    10.1007\/11817949_8","DOI":"10.1007\/11817949_8"},{"key":"583_CR43","doi-asserted-by":"publisher","unstructured":"Rensink, A.: Explicit state model checking for graph grammars, In: Degano, P., Nicola, R., Meseguer, J., (Eds.) Concurrency, Graphs and Models, Lecture Notes in Computer Science, vol. 5065, pp. 114\u2013132. Springer, Heidelberg (2008). doi:\n                    10.1007\/978-3-540-68679-8_8","DOI":"10.1007\/978-3-540-68679-8_8"},{"key":"583_CR44","unstructured":"Suck, J., Heinzemann, C., Sch\u00e4fer, W.: Formalizing model checking on timed graph transformation systems, Tech. Rep. tr-ri-11-316, Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Paderborn (2011)"},{"key":"583_CR45","doi-asserted-by":"publisher","unstructured":"Behrmann, G., David, A., Larsen, K.\u00a0G., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0, In: Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems, QEST 2006, IEEE Computer Society, pp. 125\u2013126. Los Alamitos, CA (2006). doi:\n                    10.1109\/QEST.2006.59","DOI":"10.1109\/QEST.2006.59"},{"key":"583_CR46","doi-asserted-by":"publisher","unstructured":"Dziwok, S., Gerking, C., Becker, S., Thiele, S., Heinzemann, C., Pohlmann, U.: A tool suite for the model-driven software engineering of cyber-physical systems, In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp. 715\u2013718. ACM, New York, NY (2014). doi:\n                    10.1145\/2635868.2661665","DOI":"10.1145\/2635868.2661665"},{"key":"583_CR47","series-title":"The Eclipse Series","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework. The Eclipse Series, 2nd edn. Addison-Wesley, Boston (2008)","edition":"2"},{"key":"583_CR48","unstructured":"Group, O.M.: Object Constraint Language (OCL) 2.3.1, document formal\/2012-01-01 (2012). \n                    http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/"},{"key":"583_CR49","unstructured":"Group, O.M.: Query\/View\/Transformation (QVT) 1.1, document formal\/2011-01-01 (2011). \n                    http:\/\/www.omg.org\/spec\/QVT\/1.1\/"},{"key":"583_CR50","unstructured":"IBM. An architectural blueprint for autonomic computing, Autonomic Computing White Paper, IBM (2006)"},{"key":"583_CR51","doi-asserted-by":"publisher","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications, In: Proceedings of the 1st ACM SIGSOFT Workshop on Self-managed Systems, WOSS \u201904, pp. 28\u201333. ACM, New York, NY (2004). doi:\n                    10.1145\/1075405.1075411","DOI":"10.1145\/1075405.1075411"},{"issue":"1","key":"583_CR52","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/s10270-010-0162-z","volume":"11","author":"S Kallel","year":"2012","unstructured":"Kallel, S., Kacem, M.H., Jmaiel, M.: Modeling and enforcing invariants of dynamic software architectures. Softw. Syst. Model. 11(1), 127\u2013149 (2012). doi:\n                    10.1007\/s10270-010-0162-z","journal-title":"Softw. Syst. Model."},{"key":"583_CR53","doi-asserted-by":"publisher","unstructured":"Bartels, B., Kleine, M.: A CSP-based framework for the specification, verification, and implementation of adaptive systems, In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS \u201911, pp. 158\u2013167. ACM, New York, NY (2011). doi:\n                    10.1145\/1988008.1988030","DOI":"10.1145\/1988008.1988030"},{"key":"583_CR54","doi-asserted-by":"publisher","unstructured":"Cheng, S.-W., Garlan, D., Schmerl, B.: Evaluating the effectiveness of the Rainbow self-adaptive system, In: ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS \u201909, IEEE Computer Society, pp. 132 \u2013141 (2009). doi:\n                    10.1109\/seams.2009.5069082","DOI":"10.1109\/seams.2009.5069082"},{"key":"583_CR55","doi-asserted-by":"publisher","unstructured":"De\u00a0Oliveira, F.\u00a0A., Ledoux, T., Sharrock, R.: A framework for the coordination of multiple autonomic managers in cloud environments, In: IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems, SASO\u201913, IEEE Computer Society, pp. 179\u2013188 (2013). doi:\n                    10.1109\/saso.2013.27","DOI":"10.1109\/saso.2013.27"},{"key":"583_CR56","doi-asserted-by":"publisher","unstructured":"Edwards, G., Garcia, J., Tajalli, H., Popescu, D., Medvidovi\u0107, N., Sukhatme, G., Petrus, B.: Architecture-driven self-adaptation and self-management in robotics systems, In: ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS \u201909, IEEE Computer Society, pp. 142 \u2013151 (2009). doi:\n                    10.1109\/seams.2009.5069083","DOI":"10.1109\/seams.2009.5069083"},{"key":"583_CR57","doi-asserted-by":"publisher","unstructured":"Vromant, P., Weyns, D., Malek, S., Andersson, J.: On interacting control loops in self-adaptive systems, In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS \u201911, pp. 202\u2013207. ACM, New York, NY (2011). doi:\n                    10.1145\/1988008.1988037","DOI":"10.1145\/1988008.1988037"},{"issue":"4","key":"583_CR58","doi-asserted-by":"publisher","first-page":"18:1","DOI":"10.1145\/2555612","volume":"8","author":"T Vogel","year":"2014","unstructured":"Vogel, T., Giese, H.: Model-driven engineering of self-adaptive software with EUREMA. ACM Trans. Auton. Adapt. Syst. (TAAS) 8(4), 18:1\u201318:33 (2014). doi:\n                    10.1145\/2555612","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"key":"583_CR59","doi-asserted-by":"publisher","unstructured":"Weyns, D., Schmerl, B., Grassi, V., Malek, S., Mirandola, R., Prehofer, C., Wuttke, J., Andersson, J., Giese, H., G\u00f6schka, K.\u00a0M.: On patterns for decentralized control in self-adaptive systems, In: de\u00a0Lemos, R., Giese, H., M\u00fcller, H.\u00a0A., Shaw, M. (Eds.) Software Engineering for Self-Adaptive Systems II, Lecture Notes in Computer Science, vol. 7475, pp. 76\u2013107. Springer, Heidelberg (2013). doi:\n                    10.1007\/978-3-642-35813-5_4","DOI":"10.1007\/978-3-642-35813-5_4"},{"issue":"10","key":"583_CR60","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/TSE.2007.70726","volume":"33","author":"K-K Lau","year":"2007","unstructured":"Lau, K.-K., Wang, Z.: Software component models. IEEE Trans. Softw. Eng. 33(10), 709\u2013724 (2007). doi:\n                    10.1109\/tse.2007.70726","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"583_CR61","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/TSE.2010.83","volume":"37","author":"I Crnkovi\u0107","year":"2011","unstructured":"Crnkovi\u0107, I., Sentilles, S., Vulgarakis, A., Chaudron, M.R.V.: A classification framework for software component models. IEEE Trans. Softw. Eng. 37(5), 593\u2013615 (2011). doi:\n                    10.1109\/tse.2010.83","journal-title":"IEEE Trans. Softw. Eng."},{"key":"583_CR62","unstructured":"Oracle, JSR 345: Enterprise JavaBeansTM, Version 3.2, EJB Core Contracts and Requirements (Apr. 2013) (2015). \n                    http:\/\/download.oracle.com\/otn-pub\/jcp\/ejb-3_2-fr-eval-spec\/ejb-3_2-core-fr-spec.pdf"},{"key":"583_CR63","doi-asserted-by":"publisher","unstructured":"Ho\u0161ek, P., Pop, T., Bure\u0161, T., Hn\u011btynka, P., Malohlava, M.: Comparison of component frameworks for real-time embedded systems, In: Grunske, L., Reussner, R., Pl\u00e1\u0161il, F. (Eds.) Component Based Software Engineering, Lecture Notes in Compute Science, vol. 6092, pp. 21\u201336. Springer, Heidelberg (2010). doi:\n                    10.1007\/978-3-642-13238-4_2","DOI":"10.1007\/978-3-642-13238-4_2"},{"key":"583_CR64","unstructured":"Prochazka, M., Ward, R., Tuma, P., Hn\u011btynka, P., Adamek, J.: A component-oriented framework for spacecraft on-board software, In: Proceedings of DASIA 2008, DAta Systems In Aerospace, Palma de Mallorca, European Space Agency Report Nr. SP-665, (2008)"},{"key":"583_CR65","doi-asserted-by":"publisher","unstructured":"Vulgarakis, A., Suryadevara, J., Carlson, J., Seceleanu, C., Pettersson, P.: Formal semantics of the ProCom real-time component model, In: Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, SEEA \u201909, IEEE Computer Society, pp. 478\u2013485. Los Alamitos, CA (2009). doi:\n                    10.1109\/seaa.2009.53","DOI":"10.1109\/seaa.2009.53"},{"key":"583_CR66","doi-asserted-by":"publisher","first-page":"10:1","DOI":"10.1145\/1851340.1851352","volume":"6","author":"E Borde","year":"2009","unstructured":"Borde, E., Feiler, P.H., Ha\u00efk, G., Pautet, L.: Model driven code generation for critical and adaptative embedded systems. SIGBED Rev. 6, 10:1\u201310:5 (2009). doi:\n                    10.1145\/1851340.1851352","journal-title":"SIGBED Rev."},{"key":"583_CR67","doi-asserted-by":"publisher","unstructured":"Kim, J.E., Rogalla, O., Kramer, S., Hamann, A.: Extracting, specifying and predicting software system properties in component based real-time embedded software development, In: 31st International Conference on Software Engineering\u2013Companion Volume, IEEE Computer Society, pp. 28\u201338 (2009). doi:\n                    10.1109\/icse-companion.2009.5070961","DOI":"10.1109\/icse-companion.2009.5070961"},{"key":"583_CR68","unstructured":"AUTOSAR, AUTOSAR 4.1 - Guide to Modemanagement, document Identification No. 440, Version 2.2.0 (2014). \n                    http:\/\/www.autosar.org\/fileadmin\/files\/releases\/4-1\/software-architecture\/system-services\/auxiliary\/AUTOSAR_EXP_ModemanagementGuide.pdf"},{"key":"583_CR69","doi-asserted-by":"publisher","unstructured":"Hirsch, D., Kramer, J., Magee, J., Uchitel, S.: Modes for software architectures, In: Gruhn, V., Oquendo, F. (Eds.) Software Architecture, Lecture Notes in Computer Science, vol. 4344, pp. 113\u2013126. Springer, Heidelberg (2006). doi:\n                    10.1007\/11966104_9","DOI":"10.1007\/11966104_9"},{"key":"583_CR70","doi-asserted-by":"publisher","unstructured":"Hang, Y., Hansson, H.: Handling multiple mode switch scenarios in component-based multi-mode systems, In: Proceedings of the 20th Asia-Pacific Software Engineering Conference, APSEC\u201913, IEEE Computer Society, vol. 1, pp. 404\u2013413 (2013). doi:\n                    10.1109\/apsec.2013.61","DOI":"10.1109\/apsec.2013.61"},{"issue":"2","key":"583_CR71","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/1880050.1880056","volume":"10","author":"R Adler","year":"2010","unstructured":"Adler, R., Schaefer, I., Trapp, M., Poetzsch-Heffter, A.: Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. ACM Trans. Embed. Comput. Syst. 10(2), 201\u20132039 (2010). doi:\n                    10.1145\/1880050.1880056","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"583_CR72","doi-asserted-by":"publisher","unstructured":"Bure\u0161, T., Gerostathopoulos, I., Hn\u011btynka, P., Keznikl, J., Kit, M., Pl\u00e1\u0161il, F.: DEECo: an ensemble-based component system, In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, CBSE \u201913, pp. 81\u201390. ACM, New York, NY (2013). doi:\n                    10.1145\/2465449.2465462","DOI":"10.1145\/2465449.2465462"},{"key":"583_CR73","doi-asserted-by":"publisher","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing, In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M.: (Eds.) Formal Methods for Components and Objects, Lecture Notes in Computer Science, vol. 7542, pp. 25\u201348. Springer, Heidelberg (2013). doi:\n                    10.1007\/978-3-642-35887-6_2","DOI":"10.1007\/978-3-642-35887-6_2"},{"issue":"2","key":"583_CR74","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/MS.2006.35","volume":"23","author":"R Lemos de","year":"2006","unstructured":"de Lemos, R., de Castro Guerra, P.A., Rubira, C.M.Fischer: A fault-tolerant architectural approach for dependable systems. IEEE Softw. 23(2), 80\u201387 (2006). doi:\n                    10.1109\/ms.2006.35","journal-title":"IEEE Softw."},{"issue":"3","key":"583_CR75","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1109\/TDSC.2006.33","volume":"3","author":"EA Strunk","year":"2006","unstructured":"Strunk, E.A., Knight, J.C.: Dependability through assured reconfiguration in embedded system software. IEEE Trans. Dependable Secure Comput. 3(3), 172\u2013187 (2006). doi:\n                    10.1109\/tdsc.2006.33","journal-title":"IEEE Trans. Dependable Secure Comput."},{"issue":"3","key":"583_CR76","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/2.825699","volume":"33","author":"R Ommering van","year":"2000","unstructured":"van Ommering, R., van der Linden, F., Kramer, J., Magee, J.: The Koala component model for consumer electronics software. Computer 33(3), 78\u201385 (2000). doi:\n                    10.1109\/2.825699","journal-title":"Computer"},{"key":"583_CR77","doi-asserted-by":"publisher","unstructured":"Maaskant, H.: A robust component model for consumer electronic products, In: Stok, P. (Ed.) Dynamic and Robust Streaming in and between Connected Consumer-Electronic Devices, Philips Research Book Series, vol. 3, pp. 167\u2013192. Springer, Netherlands (2005). doi:\n                    10.1007\/1-4020-3454-7_7","DOI":"10.1007\/1-4020-3454-7_7"},{"issue":"5","key":"583_CR78","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1016\/j.jss.2006.08.016","volume":"80","author":"M \u00c5kerholm","year":"2007","unstructured":"\u00c5kerholm, M., Carlson, J., Fredriksson, J., Hansson, H., H\u00e5kansson, J., M\u00f6ller, A., Pettersson, P., Tivoli, M.: The SAVE approach to component-based development of vehicular systems. J. Syst.Softw. 80(5), 655\u2013667 (2007). doi:\n                    10.1016\/j.jss.2006.08.016","journal-title":"J. Syst.Softw."},{"key":"583_CR79","doi-asserted-by":"publisher","unstructured":"H\u00e4nninen, K., M\u00e4ki-Turja, J., Nolin, M., Lindberg, M., Lundb\u00e4ck, J., Lundb\u00e4ck, K.-L.: The Rubus component model for resource constrained real-time systems, In: 3rd IEEE International Symposium on Industrial Embedded Systems, SIES 2008, IEEE Computer Society, pp. 177\u2013183 (2008). doi:\n                    10.1109\/SIES.2008.4577697","DOI":"10.1109\/SIES.2008.4577697"},{"key":"583_CR80","doi-asserted-by":"publisher","unstructured":"Ke, X., Sierszecki, K., Angelov, C.: COMDES-II: A component-based framework for generative development of distributed real-time control systems, In: Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA \u201907, IEEE Computer Society, pp. 199\u2013208 (2007). doi:\n                    10.1109\/rtcsa.2007.29","DOI":"10.1109\/rtcsa.2007.29"},{"key":"583_CR81","doi-asserted-by":"publisher","unstructured":"Genssler, T., Christoph, A., Winter, M., Nierstrasz, O., Ducasse, S., Wuyts, R., Ar\u00e9valo, G., Sch\u00f6nhage, B., M\u00fcller, P., Stich, C.: Components for embedded software: The PECOS approach, In: Proceedings of the 2002 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES \u201902, pp. 19\u201326. ACM, New York, NY (2002). doi:\n                    10.1145\/581630.581634","DOI":"10.1145\/581630.581634"},{"issue":"12","key":"583_CR82","doi-asserted-by":"publisher","first-page":"1467","DOI":"10.1002\/spe.1143","volume":"42","author":"M Jan","year":"2012","unstructured":"Jan, M., Jouvray, C., Kordon, F., Kung, A., Lalande, J., Loiret, F., Navas, J., Pautet, L., Pulou, J., Radermacher, A., Flex-eware, L.S.: A flexible model driven solution for designing and implementing embedded distributed systems. Softw. Pract. Exp. 42(12), 1467\u20131494 (2012). doi:\n                    10.1002\/spe.1143","journal-title":"Softw. Pract. Exp."},{"key":"583_CR83","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.jss.2014.05.076","volume":"96","author":"M Panunzio","year":"2014","unstructured":"Panunzio, M., Vardanega, T.: A component-based process with separation of concerns for the development of embedded real-time software systems. J. Syst. Softw. 96, 105\u2013121 (2014). doi:\n                    10.1016\/j.jss.2014.05.076","journal-title":"J. Syst. Softw."},{"key":"583_CR84","doi-asserted-by":"publisher","unstructured":"Cuenot, P., Frey, P., Johansson, R., L\u00f6nn, H., Papadopoulos, Y., Reiser, M.-O., Sandberg, A., Servat, D., Tavakoli\u00a0Kolagari, R., T\u00f6rngren, M., Weber, M.: The EAST-ADL architecture description language for automotive embedded software, In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Sch\u00e4tz, B. (Eds.) Model-Based Engineering of Embedded Real-Time Systems, Lecture Notes in Computer Science, vol. 6100, pp. 297\u2013307. Springer, Heidelberg (2010). doi:\n                    10.1007\/978-3-642-16277-0_11","DOI":"10.1007\/978-3-642-16277-0_11"},{"issue":"8","key":"583_CR85","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s00607-013-0314-4","volume":"95","author":"D Chen","year":"2013","unstructured":"Chen, D., Feng, L., Qureshi, T.N., L\u00f6nn, H., Hagl, F.: An architectural approach to the analysis, verification and validation of software intensive embedded systems. Computing 95(8), 649\u2013688 (2013). doi:\n                    10.1007\/s00607-013-0314-4","journal-title":"Computing"},{"key":"583_CR86","doi-asserted-by":"publisher","unstructured":"Zhang, J., Cheng, B.H.C., Yang, Z., McKinley, P.K.: Enabling safe dynamic component-based software adaptation, In: de Lemos, R., Gacek, C., Romanovsky, A. (Eds.) Architecting Dependable Systems III, Lecture Notes in Computer Science, vol. 3549, pp. 194\u2013211. Springer, Heidelberg (2005). doi:\n                    10.1007\/11556169_9","DOI":"10.1007\/11556169_9"},{"key":"583_CR87","doi-asserted-by":"publisher","unstructured":"Boyer, F., Gruber, O., Pous, D.: Robust reconfigurations of component assemblies, In: Proceedings of the 2013 International Conference on Software Engineering, ICSE \u201913, IEEE Computer Society, pp. 13\u201322. Piscataway, NJ (2013). doi:\n                    10.1109\/ICSE.2013.6606547","DOI":"10.1109\/ICSE.2013.6606547"},{"key":"583_CR88","unstructured":"Hn\u011btynka, P., Bure\u0161, T.: Advanced features of hierarchical component models, In: Zendulka, J. (Ed.) Proceedings of the 10th International Conference on Information System Implementation and Modeling, ISIM\u201907, CEUR-WS.org. vol. 252, pp. 1\u20138 (2007)"},{"key":"583_CR89","doi-asserted-by":"publisher","unstructured":"Shaw, M.: \u201cself-healing\u201d: softening precision to avoid brittleness: position paper for WOSS \u201902: workshop on self-healing systems, In: Proceedings of the first workshop on Self-healing systems, WOSS \u201902, pp. 111\u2013114. ACM, New York, NY (2002). doi:\n                    10.1145\/582128.582152","DOI":"10.1145\/582128.582152"},{"key":"583_CR90","doi-asserted-by":"crossref","unstructured":"Gausemeier, J., Rammig, F.-J., Sch\u00e4fer, W. (Eds.) Design Methodology for Intelligent Technical Systems, Lecture Notes in Mechanical Engineering, Springer, Berlin (2014)","DOI":"10.1007\/978-3-642-45435-6"},{"key":"583_CR91","doi-asserted-by":"publisher","unstructured":"Priesterjahn, C., Heinzemann, C., Sch\u00e4fer, W., Tichy, M.: Runtime safety analysis for safe reconfiguration, In: Proceedings of the 3. Workshop ,,Self-X and Autonomous Control in Engineering Applications\u201d, 10. IEEE International Conference on Industrial Informatics, INDIN\u201912, IEEE Computer Society, pp. 1092 \u2013 1097 (2012). doi:\n                    10.1109\/INDIN.2012.6300900","DOI":"10.1109\/INDIN.2012.6300900"},{"key":"583_CR92","doi-asserted-by":"publisher","unstructured":"Ramirez, A.J., Jensen, A.C., Cheng, B.H.C.: A taxonomy of uncertainty for dynamically adaptive systems, In: Proceedings of the 2012 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS\u201912, IEEE Computer Society, pp. 99 \u2013108 (2012). doi:\n                    10.1109\/seams.2012.6224396","DOI":"10.1109\/seams.2012.6224396"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0583-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0583-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0583-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T07:19:26Z","timestamp":1550906366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0583-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,1]]},"references-count":92,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["583"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0583-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,2,1]]},"assertion":[{"value":"15 March 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 December 2016","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 January 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}