{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:34:10Z","timestamp":1767141250872,"version":"build-2238731810"},"reference-count":70,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T00:00:00Z","timestamp":1722816000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T00:00:00Z","timestamp":1722816000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["CRC 1053 MAKI"],"award-info":[{"award-number":["CRC 1053 MAKI"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2025,8]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    In many recent application domains, software systems must repeatedly reconfigure themselves at runtime to satisfy changing contextual requirements. To decide which next configuration is presumably best suited is a very challenging task as it involves not only functional requirements but also non-functional properties (NFP). NFP include multiple, potentially contradicting, criteria like real-time constraints and cost measures like energy consumption. Effectiveness of context-aware reconfiguration decisions further depends on mostly uncertain future contexts which makes greedy one-step decision heuristics potentially misleading. Moreover, the computational runtime overhead for reconfiguration planning should not nullify the benefits. Nevertheless, entirely pre-planning reconfiguration decisions during design time is also not feasible due to missing knowledge about runtime contexts. In this article, we propose a model-based technique for precomputing context-aware reconfiguration decisions under partially uncertain real-time constraints and cost measures. We employ a game-theoretic approach based on stochastic priced timed game automata as reconfiguration model. This formal model allows us to automatically synthesize winning strategies for the first player (the system) which efficiently delivers presumably best-fitting reconfiguration decisions as reactions to moves of the second player (the context) at runtime. Our tool implementation copes with the high computational complexity of strategy synthesis by utilizing the statistical model checker\n                    <jats:sc>Uppaal Stratego<\/jats:sc>\n                    to approximate near-optimal solutions. We applied our tool to a real-world example consisting of a reconfigurable robot support system for the construction of aircraft fuselages. Our evaluation results show that\n                    <jats:sc>Uppaal Stratego<\/jats:sc>\n                    is indeed able to precompute effective reconfiguration strategies within a reasonable amount of time.\n                  <\/jats:p>","DOI":"10.1007\/s10270-024-01195-9","type":"journal-article","created":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T02:03:12Z","timestamp":1722823392000},"page":"1059-1089","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2753-7719","authenticated-orcid":false,"given":"Hendrik","family":"G\u00f6ttmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7772-7337","authenticated-orcid":false,"given":"Birte","family":"Caesar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0946-7742","authenticated-orcid":false,"given":"Lasse","family":"Beers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8404-753X","authenticated-orcid":false,"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8100-1109","authenticated-orcid":false,"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1922-654X","authenticated-orcid":false,"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,5]]},"reference":[{"issue":"1","key":"1195_CR1","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41\u201350 (2003). https:\/\/doi.org\/10.1109\/MC.2003.1160055","journal-title":"Computer"},{"key":"1195_CR2","doi-asserted-by":"publisher","first-page":"7267","DOI":"10.1016\/j.eswa.2013.07.033","volume":"40","author":"F Mac\u00edas-Escriv\u00e1","year":"2013","unstructured":"Mac\u00edas-Escriv\u00e1, F., Haber Guerra, R.E., del Toro, R., Hern\u00e1ndez, V.: Self-adaptive systems: a survey of current approaches, research challenges and applications. Expert Syst. Appl. 40, 7267\u20137279 (2013). https:\/\/doi.org\/10.1016\/j.eswa.2013.07.033","journal-title":"Expert Syst. Appl."},{"key":"1195_CR3","unstructured":"Bencomo, N., Sawyer, P., Blair, G.S.: P. Grace. In: Thiel, S., Pohl, K. (eds.) Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8\u201312, 2008, Proceedings. Second Volume (Workshops), pp. 23\u201332. Lero Int. Science Centre, University of Limerick, Ireland (2008)"},{"key":"1195_CR4","volume-title":"An Introduction to Self-Adaptive Systems: A Contemporary Software Engineering Perspective","author":"D Weyns","year":"2020","unstructured":"Weyns, D.: An Introduction to Self-Adaptive Systems: A Contemporary Software Engineering Perspective. Wiley, New York (2020)"},{"key":"1195_CR5","doi-asserted-by":"publisher","unstructured":"Porter, B., Filho, R.R., Dean, P.: In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020, Washington, DC, USA, August 17\u201321, 2020, pp. 168\u2013177. IEEE (2020). https:\/\/doi.org\/10.1109\/ACSOS49614.2020.00039","DOI":"10.1109\/ACSOS49614.2020.00039"},{"key":"1195_CR6","doi-asserted-by":"publisher","unstructured":"Muccini, H., Sharaf, M., Weyns, D.: In: Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas, USA, May 14\u201322, 2016, pp. 75\u201381. ACM (2016). https:\/\/doi.org\/10.1145\/2897053.2897069","DOI":"10.1145\/2897053.2897069"},{"issue":"3","key":"1195_CR7","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1177\/1729881417710457","volume":"14","author":"A Brunete","year":"2017","unstructured":"Brunete, A., Ranganath, A., Segovia, S., de Frutos, J.P., Hernando, M., Gambao, E.: Current trends in reconfigurable modular robots design. Int. J. Adv. Rob. Syst. 14(3), 457 (2017). https:\/\/doi.org\/10.1177\/1729881417710457","journal-title":"Int. J. Adv. Rob. Syst."},{"key":"1195_CR8","doi-asserted-by":"publisher","unstructured":"G\u00f6ttmann, H., Caesar, B., Beers, L., Lochau, M., Sch\u00fcrr, A., Fay, A.: In: Syriani, E., Sahraoui, H.A., Bencomo, N., Wimmer, M. (eds.) Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23\u201328, 2022, pp. 31\u201342. ACM (2022). https:\/\/doi.org\/10.1145\/3550355.3552397","DOI":"10.1145\/3550355.3552397"},{"key":"1195_CR9","doi-asserted-by":"publisher","unstructured":"Calinescu, R., Mirandola, R., Perez-Palacin, D., Weyns, D.: In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020, Washington, DC, USA, August 17\u201321, 2020, pp. 242\u2013251 IEEE. (2020) https:\/\/doi.org\/10.1109\/ACSOS49614.2020.00047","DOI":"10.1109\/ACSOS49614.2020.00047"},{"key":"1195_CR10","volume-title":"Introduction to Algorithms","author":"TH Cormen","year":"2009","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009)","edition":"3"},{"key":"1195_CR11","doi-asserted-by":"publisher","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: In: Taylor, R.N., Gall, H.C., Medvidovic, N. (eds.) Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21\u201328, 2011, pp. 341\u2013350. ACM (2011). https:\/\/doi.org\/10.1145\/1985793.1985840","DOI":"10.1145\/1985793.1985840"},{"key":"1195_CR12","doi-asserted-by":"publisher","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Legay, A., Lime, D., S\u00f8rensen, M.G., Taankvist, J.H.: In: Cassez, F., Raskin, J. (eds.) Automated Technology for Verification and Analysis\u201412th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3\u20137, 2014, Proceedings, Lecture Notes in Computer Science, vol. 8837, pp. 129\u2013145. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-11936-6_10","DOI":"10.1007\/978-3-319-11936-6_10"},{"key":"1195_CR13","doi-asserted-by":"publisher","unstructured":"Hartmann, H., Trew, T.: In: Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8\u201312, 2008, Proceedings, pp. 12\u201321. IEEE (2008). https:\/\/doi.org\/10.1109\/SPLC.2008.15","DOI":"10.1109\/SPLC.2008.15"},{"key":"1195_CR14","doi-asserted-by":"publisher","unstructured":"David, A., Fang, H., Larsen, K.G., Zhang, Z.: In: Legay, A., Bozga, M. (eds.) Formal Modeling and Analysis of Timed Systems\u201412th International Conference, FORMATS 2014, Florence, Italy, September 8\u201310, 2014. Proceedings, Lecture Notes in Computer Science, vol. 8711, pp. 100\u2013114. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-10512-3_8","DOI":"10.1007\/978-3-319-10512-3_8"},{"key":"1195_CR15","doi-asserted-by":"publisher","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Miku\u010dionis, M., Taankvist, J.H.: In: Baier, C., Tinelli, C. (eds.) Tools and Algorithms for the Construction and Analysis of Systems\u201421st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11\u201318, 2015. Proceedings, Lecture Notes in Computer Science, vol. 9035, pp. 206\u2013211. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_16","DOI":"10.1007\/978-3-662-46681-0_16"},{"key":"1195_CR16","doi-asserted-by":"publisher","unstructured":"G\u00f6ttmann, H., Luthmann, L., Lochau, M., Sch\u00fcrr, A.: In: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A, SPLC \u201920. Association for Computing Machinery, New York (2020). https:\/\/doi.org\/10.1145\/3382025.3414945","DOI":"10.1145\/3382025.3414945"},{"key":"1195_CR17","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Tech. rep., Carnegie-Mellon Univ Pittsburgh Pa Software Engineering Inst (1990)","DOI":"10.21236\/ADA235785"},{"key":"1195_CR18","doi-asserted-by":"publisher","unstructured":"G\u00f6ttmann, H., Bacher, I., Gottwald, N., Lochau, M.: In: Gr\u00fcnbacher, P., Seidl, C., Dhungana, D., Lovasz-Bukvova, H. (eds.) VaMoS\u201921: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event \/ Krems, Austria, February 9\u201311, 2021, pp. 17:1\u201317:9. ACM (2021). https:\/\/doi.org\/10.1145\/3442391.3442409","DOI":"10.1145\/3442391.3442409"},{"key":"1195_CR19","unstructured":"Czarnecki, K., Kim, C.H.P.: In: International Workshop on Software Factories, pp. 16\u201320. ACM, San Diego (2005)"},{"key":"1195_CR20","doi-asserted-by":"publisher","unstructured":"Batory, D.S.: In: Obbink, J.H., Pohl, K. (eds.) Software Product Lines, 9th International Conference, SPLC 2005, Rennes, France, September 26\u201329, 2005, Proceedings, Lecture Notes in Computer Science, vol. 3714, pp. 7\u201320. Springer (2005). https:\/\/doi.org\/10.1007\/11554844_3","DOI":"10.1007\/11554844_3"},{"issue":"2","key":"1195_CR21","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF00143942","volume":"5","author":"CP Robert","year":"1995","unstructured":"Robert, C.P.: Simulation of truncated normal variables. Stat. Comput. 5(2), 121\u2013125 (1995). https:\/\/doi.org\/10.1007\/BF00143942","journal-title":"Stat. Comput."},{"key":"1195_CR22","doi-asserted-by":"publisher","unstructured":"Benavides, D., Trinidad, P., Cort\u00e9s, A.R.: In: Krogstie, J., Pastor, O., Pernici, B., Rolland, C., S\u00f8lvberg, A. (eds.) Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, pp. 361\u2013373. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-36926-1_29","DOI":"10.1007\/978-3-642-36926-1_29"},{"issue":"6","key":"1195_CR23","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Cort\u00e9s, A.R.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010). https:\/\/doi.org\/10.1016\/j.is.2010.01.001","journal-title":"Inf. Syst."},{"key":"1195_CR24","doi-asserted-by":"publisher","unstructured":"Guo, J., Zulkoski, E., Olaechea, R., Rayside, D., Czarnecki, K., Apel, S., Atlee, J.M.: In: Crnkovic, I, Chechik, M., Gr\u00fcnbacher, P. (eds.) ACM\/IEEE International Conference on Automated Software Engineering, ASE \u201914, Vasteras, Sweden\u2014September 15\u201319, 2014, pp. 409\u2013420. ACM (2014). https:\/\/doi.org\/10.1145\/2642937.2642971","DOI":"10.1145\/2642937.2642971"},{"key":"1195_CR25","doi-asserted-by":"publisher","unstructured":"Sayyad, A.S., Menzies, T., Ammar, H.H.: In: Notkin, D., Cheng, B.H.C., Pohl, K. (eds.) 35th International Conference on Software Engineering, ICSE \u201913, San Francisco, CA, USA, May 18\u201326, 2013, pp. 492\u2013501. IEEE Computer Society (2013). https:\/\/doi.org\/10.1109\/ICSE.2013.6606595","DOI":"10.1109\/ICSE.2013.6606595"},{"key":"1195_CR26","doi-asserted-by":"publisher","unstructured":"Henard, C., Papadakis, M., Harman, M., Traon, Y.L.: In: Bertolino, A., Canfora, G., Elbaum, S.G. (eds.) 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, vol. 1, pp. 517\u2013528. IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/ICSE.2015.69","DOI":"10.1109\/ICSE.2015.69"},{"key":"1195_CR27","doi-asserted-by":"publisher","unstructured":"Ochoa, L., Rojas, O.G., Th\u00fcm, T.: In: Paige, R.F., Ruscio, D.D., V\u00f6lter, M. (eds.) Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, Pittsburgh, PA, USA, October 25\u201327, 2015, pp. 149\u2013160. ACM (2015). https:\/\/doi.org\/10.1145\/2814251.2814263","DOI":"10.1145\/2814251.2814263"},{"key":"1195_CR28","unstructured":"Behrmann, G., David, A., Larsen, K.G., H\u00e5kansson, J., Pettersson, P., Yi, W., Hendriks, M.: uppaal 4.0 (2006)"},{"key":"1195_CR29","doi-asserted-by":"publisher","unstructured":"Alur, R., Torre, S.L., Pappas, G.J.: In: Benedetto, M.D.D., Sangiovanni-Vincentelli, A.L. (eds.) Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28\u201330, 2001, Proceedings, Lecture Notes in Computer Science, vol. 2034, pp. 49\u201362. Springer (2001). https:\/\/doi.org\/10.1007\/3-540-45351-2_8","DOI":"10.1007\/3-540-45351-2_8"},{"key":"1195_CR30","doi-asserted-by":"publisher","unstructured":"Behrmann, G., Fehnker, A., Hune, T., Larsen, K.G., Pettersson, P., Romijn, J., Vaandrager, F.W.: In: Benedetto, M.D.D., Sangiovanni-Vincentelli, A.L. (eds.) Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28\u201330, 2001, Proceedings, Lecture Notes in Computer Science, vol. 2034, pp. 147\u2013161. Springer (2001). https:\/\/doi.org\/10.1007\/3-540-45351-2_15","DOI":"10.1007\/3-540-45351-2_15"},{"key":"1195_CR31","doi-asserted-by":"publisher","unstructured":"Behrmann, G., Larsen, K.G., Rasmussen, J.I.: In: de\u00a0Boer, F.S., Bonsangue, M.M., Graf, S., de\u00a0Roever, W.P. (eds.) Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2\u20135, 2004, Revised Lectures, Lecture Notes in Computer Science, vol. 3657, pp. 162\u2013182. Springer (2004). https:\/\/doi.org\/10.1007\/11561163_8","DOI":"10.1007\/11561163_8"},{"key":"1195_CR32","doi-asserted-by":"publisher","unstructured":"Alur, R., Dill, D.L.: In: Paterson, M.S.(eds.) Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16\u201320, 1990 Proceedings, pp. 322\u2013335. Springer, Berlin (1990) https:\/\/doi.org\/10.1007\/BFb0032042","DOI":"10.1007\/BFb0032042"},{"key":"1195_CR33","unstructured":"Eriksen, A.B., Huang, C., Kildebogaard, J., Lahrmann, H., Larsen, K.G., Muniz, M., Taankvist, J.H.: In: 12th ITS European Congress (2017)"},{"key":"1195_CR34","doi-asserted-by":"publisher","unstructured":"Basile, D., ter Beek, M.H., Legay, A.: In: Gotsman, A., Sokolova, A. (eds.) Formal Techniques for Distributed Objects, Components, and Systems\u201440th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15\u201319, 2020, Proceedings, Lecture Notes in Computer Science, vol. 12136, pp. 3\u201321. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-50086-3_1","DOI":"10.1007\/978-3-030-50086-3_1"},{"key":"1195_CR35","doi-asserted-by":"publisher","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: In: Mayr, E.W., Puech, C. (eds.) STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2\u20134, 1995, Proceedings, Lecture Notes in Computer Science, vol. 900, pp. 229\u2013242. Springer (1995). https:\/\/doi.org\/10.1007\/3-540-59042-0_76","DOI":"10.1007\/3-540-59042-0_76"},{"issue":"4","key":"1195_CR36","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397\u2013415 (2015). https:\/\/doi.org\/10.1007\/s10009-014-0361-y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1195_CR37","doi-asserted-by":"publisher","unstructured":"Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: In: Abadi, M., de\u00a0Alfaro, L. (eds.) CONCUR 2005\u2014Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23\u201326, 2005, Proceedings, Lecture Notes in Computer Science, vol. 3653, pp. 66\u201380. Springer (2005). https:\/\/doi.org\/10.1007\/11539452_9","DOI":"10.1007\/11539452_9"},{"key":"1195_CR38","doi-asserted-by":"publisher","unstructured":"Dill, D.L.: In: Sifakis, J. (ed.) Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12\u201314, 1989, Proceedings, Lecture Notes in Computer Science, vol. 407, pp. 197\u2013212. Springer (1989). https:\/\/doi.org\/10.1007\/3-540-52148-8_17","DOI":"10.1007\/3-540-52148-8_17"},{"key":"1195_CR39","doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: In: Gopalakrishnan, G., Qadeer, S. (eds.) Computer Aided Verification\u201423rd International Conference, CAV 2011, Snowbird, UT, USA, July 14\u201320, 2011. Proceedings, Lecture Notes in Computer Science, vol. 6806, pp. 585\u2013591 Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"1195_CR40","doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: In: Alvim, M.S., Chatzikokolakis, K., Olarte, C., Valencia, F. (eds.) The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy\u2014Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Lecture Notes in Computer Science, vol. 11760, pp. 379\u2013396. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-31175-9_22","DOI":"10.1007\/978-3-030-31175-9_22"},{"key":"1195_CR41","doi-asserted-by":"publisher","unstructured":"Kim, C.H.P., Bodden, E., Batory, D.S., Khurshid, S.: In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G.J., Rosu, G., Sokolsky, O., Tillmann, N. (eds.) Runtime Verification\u2014 First International Conference, RV 2010, St. Julians, Malta, November 1\u20134, 2010. Proceedings, Lecture Notes in Computer Science, vol. 6418, pp. 285\u2013299. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-16612-9_22","DOI":"10.1007\/978-3-642-16612-9_22"},{"key":"1195_CR42","doi-asserted-by":"publisher","unstructured":"Behrmann, G., David, A., Larsen, K.G.: In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13\u201318, 2004, Revised Lectures, Lecture Notes in Computer Science, vol. 3185, pp. 200\u2013236. Springer (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"1195_CR43","doi-asserted-by":"publisher","unstructured":"Asarin, E., Maler, O., Pnueli, A.: In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S. (eds.) Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994, Lecture Notes in Computer Science, vol. 999, pp. 1\u201320. Springer (1994). https:\/\/doi.org\/10.1007\/3-540-60472-3_1","DOI":"10.1007\/3-540-60472-3_1"},{"issue":"1","key":"1195_CR44","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R Alur","year":"1996","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43(1), 116\u2013146 (1996). https:\/\/doi.org\/10.1145\/227595.227602","journal-title":"J. ACM"},{"key":"1195_CR45","doi-asserted-by":"publisher","unstructured":"Sousa, G., Rudametkin, W., Duchien, L.: In: 12th IEEE\/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Buenos Aires, Argentina, May 22\u201323, 2017, pp. 129\u2013139. IEEE (2017). https:\/\/doi.org\/10.1109\/SEAMS.2017.6","DOI":"10.1109\/SEAMS.2017.6"},{"key":"1195_CR46","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: In: 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October\u20131 November 1977, pp. 46\u201357. IEEE (1977). https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"1195_CR47","doi-asserted-by":"publisher","unstructured":"Cordy, M., Legay, A., Schobbens, P., Traonouez, L.: In: 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), pp. 64\u201370 (2013). https:\/\/doi.org\/10.1109\/FormaliSE.2013.6612279","DOI":"10.1109\/FormaliSE.2013.6612279"},{"key":"1195_CR48","doi-asserted-by":"publisher","unstructured":"Cordy, M., Classen, A., Heymans, P., Legay, A., Schobbens, P.Y.: Model Checking Adaptive Software with Featured Transition Systems, pp. 1\u201329. Springer, Berlin (2013). https:\/\/doi.org\/10.1007\/978-3-642-36249-1_1","DOI":"10.1007\/978-3-642-36249-1_1"},{"key":"1195_CR49","doi-asserted-by":"publisher","unstructured":"Legay, A., Traonouez, L.: In: Hung, D.V., Ogawa, M. (eds.) Automated Technology for Verification and Analysis\u201411th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15\u201318, 2013. Proceedings, Lecture Notes in Computer Science, vol. 8172, pp. 460\u2013463. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-319-02444-8_35","DOI":"10.1007\/978-3-319-02444-8_35"},{"key":"1195_CR50","doi-asserted-by":"publisher","unstructured":"Luthmann, L., Stephan, A., B\u00fcrdek, J., Lochau, M.: In: Proceedings of the 21st International Systems and Software Product Line Conference, vol. A, SPLC \u201917, pp. 104\u2013113. ACM, New York (2017). https:\/\/doi.org\/10.1145\/3106195.3106204","DOI":"10.1145\/3106195.3106204"},{"key":"1195_CR51","doi-asserted-by":"publisher","unstructured":"Cordy, M., Schobbens, P., Heymans, P., Legay, A.: In: de\u00a0Almeida, E.S., Schwanninger, C., Benavides, D. (eds.) 16th International Software Product Line Conference, SPLC \u201912, Salvador, Brazil\u2014September 2\u20137, 2012, vol. 1, pp. 66\u201375. ACM (2012). https:\/\/doi.org\/10.1145\/2362536.2362549","DOI":"10.1145\/2362536.2362549"},{"key":"1195_CR52","doi-asserted-by":"publisher","unstructured":"Alur, R., Henzinger, T.A., Vardi, M.Y.: In: STOC\u201993, pp. 592\u2013601. ACM (1993). https:\/\/doi.org\/10.1145\/167088.167242","DOI":"10.1145\/167088.167242"},{"issue":"3","key":"1195_CR53","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1109\/TSE.2018.2853726","volume":"46","author":"MH ter Beek","year":"2020","unstructured":"ter Beek, M.H., Legay, A., Lluch-Lafuente, A., Vandin, A.: A framework for quantitative modeling and analysis of highly (re)configurable systems. IEEE Trans. Softw. Eng. 46(3), 321\u2013345 (2020). https:\/\/doi.org\/10.1109\/TSE.2018.2853726","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"1195_CR54","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10270-015-0470-4","volume":"16","author":"M Lochau","year":"2017","unstructured":"Lochau, M., B\u00fcrdek, J., H\u00f6lzle, S., Sch\u00fcrr, A.: Specification and automated validation of staged reconfiguration processes for dynamic software product lines. Softw. Syst. Model. 16(1), 125\u2013152 (2017). https:\/\/doi.org\/10.1007\/s10270-015-0470-4","journal-title":"Softw. Syst. Model."},{"key":"1195_CR55","doi-asserted-by":"publisher","unstructured":"Pfannem\u00fcller, M., Krupitzer, C., Weckesser, M., Becker, C.: In: Wang, X., Stewart, C., Lei, H. (eds.) 2017 IEEE International Conference on Autonomic Computing (ICAC), 2017, Columbus, OH, USA, July 17\u201321, 2017, pp. 247\u2013254. IEEE (2017). https:\/\/doi.org\/10.1109\/ICAC.2017.18","DOI":"10.1109\/ICAC.2017.18"},{"key":"1195_CR56","unstructured":"Pfannem\u00fcller, M.: A dynamic software product line approach for planning and execution of reconfigurations in self-adaptive systems. Master\u2019s thesis (2017)"},{"key":"1195_CR57","doi-asserted-by":"publisher","unstructured":"Palm, A., Metzger, A., Pohl, K.: In: Dustdar, S., Yu, E., Salinesi, C., Rieu, D., Pant, V. (eds.) Advanced Information Systems Engineering\u201432nd International Conference, CAiSE 2020, Grenoble, France, June 8\u201312, 2020, Proceedings, Lecture Notes in Computer Science, vol. 12127, pp. 169\u2013184. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-49435-3_11","DOI":"10.1007\/978-3-030-49435-3_11"},{"key":"1195_CR58","doi-asserted-by":"publisher","unstructured":"Nair, V., Menzies, T., Siegmund, N., Apel, S.: In: Bodden, E. (ed.) Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. ACM, New York, pp. 257\u2013267. ACM Digital Library (2017). https:\/\/doi.org\/10.1145\/3106237.3106238","DOI":"10.1145\/3106237.3106238"},{"key":"1195_CR59","doi-asserted-by":"publisher","unstructured":"Henard, C., Papadakis, M., Harman, M., Le Traon, Y.: In: 2015 IEEE\/ACM 5th International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks 2015), pp. 517\u2013528. IEEE, Piscataway (2015). https:\/\/doi.org\/10.1109\/ICSE.2015.69","DOI":"10.1109\/ICSE.2015.69"},{"key":"1195_CR60","doi-asserted-by":"publisher","unstructured":"Kaltenecker, C., Grebhahn, A., Siedmung, N., Guo, J., Apel, S.: In: Felderer, M., Hasselbring, W., Rabiser, R., Jung, R. (eds.) Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24\u201328 February 2020, Innsbruck, Austria, LNI, vol. P-300, pp. 61\u201364. Gesellschaft f\u00fcr Informatik e.V. (2020). https:\/\/doi.org\/10.18420\/SE2020_17","DOI":"10.18420\/SE2020_17"},{"key":"1195_CR61","doi-asserted-by":"publisher","unstructured":"Denkers, J., Brunner, M., van Gool, L., Visser, E.: In: Calinescu, R., Pasareanu, C.S. (eds.) Software Engineering and Formal Methods\u201419th International Conference, SEFM 2021, Virtual Event, December 6\u201310, 2021, Proceedings, Lecture Notes in Computer Science, vol. 13085, pp. 423\u2013442. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-92124-8_24","DOI":"10.1007\/978-3-030-92124-8_24"},{"issue":"4","key":"1195_CR62","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/S11721-012-0072-5","volume":"6","author":"C Pinciroli","year":"2012","unstructured":"Pinciroli, C., Trianni, V., O\u2019Grady, R., Pini, G., Brutschy, A., Brambilla, M., Mathews, N., Ferrante, E., Caro, G.D., Ducatelle, F., Birattari, M., Gambardella, L.M., Dorigo, M.: ARGoS: a modular, parallel, multi-engine simulator for multi-robot systems. Swarm Intell. 6(4), 271\u2013295 (2012). https:\/\/doi.org\/10.1007\/S11721-012-0072-5","journal-title":"Swarm Intell."},{"key":"1195_CR63","doi-asserted-by":"publisher","unstructured":"Holler, P.I., Jensen, M.K., Lockey, H.M.K., Albano, M.: In: Rocha, A.P., Steels, L., van\u00a0den Herik, H.J. (eds.) Proceedings of the 13th International Conference on Agents and Artificial Intelligence, Volume 1, Online Streaming, February 4\u20136, 2021, pp. 273\u2013280. SCITEPRESS (2021). https:\/\/doi.org\/10.5220\/0010239602730280","DOI":"10.5220\/0010239602730280"},{"issue":"1","key":"1195_CR64","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1609\/AIMAG.V18I1.1276","volume":"18","author":"H Kitano","year":"1997","unstructured":"Kitano, H., Asada, M., Kuniyoshi, Y., Noda, I., Osawa, E., Matsubara, H.: RoboCup: a challenge problem for AI. AI Mag. 18(1), 73\u201385 (1997). https:\/\/doi.org\/10.1609\/AIMAG.V18I1.1276","journal-title":"AI Mag."},{"key":"1195_CR65","doi-asserted-by":"publisher","unstructured":"Larsen, K.G., Mikucionis, M., Mu\u00f1iz, M., Srba, J., Taankvist, J.H.: In: Chechik, M., Raskin, J. (eds.) Tools and Algorithms for the Construction and Analysis of Systems\u201422nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, Lecture Notes in Computer Science, vol. 9636, pp. 244\u2013259. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_14","DOI":"10.1007\/978-3-662-49674-9_14"},{"issue":"34","key":"1195_CR66","first-page":"24","volume":"5","author":"D Krajzewicz","year":"2012","unstructured":"Krajzewicz, D., Erdmann, J., Behrisch, M., Bieker, L.: Recent development and applications of SUMO-simulation of urban mobility. Int. J. Adv. Syst. Meas. 5(34), 24 (2012)","journal-title":"Int. J. Adv. Syst. Meas."},{"key":"1195_CR67","doi-asserted-by":"publisher","unstructured":"Goorden, M.A., Jensen, P.G., Larsen, K.G., Samusev, M., Srba, J., Zhao, G.: In: Bouajjani, A., Hol\u00edk, L., Wu, Z. (eds.) Automated Technology for Verification and Analysis\u201420th International Symposium, Virtual Event, October 25\u201328, 2022, Proceedings, Lecture Notes in Computer Science, vol. 13505, pp. 327\u2013333. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-19992-9_21","DOI":"10.1007\/978-3-031-19992-9_21"},{"key":"1195_CR68","doi-asserted-by":"publisher","unstructured":"Gehlhoff, F., Nabizada, H., Elkhateeb, A., Lepolotec, C., R\u00f6hrig, M., Fay, A.: Agent-based negotiation for cooperative transports within aircraft production. In: Proceedings of the 22nd International Federation of Automatic Control World Congress, vol. 56(2), pp. 3642\u20133647 (2023). https:\/\/doi.org\/10.1016\/j.ifacol.2023.10.1527","DOI":"10.1016\/j.ifacol.2023.10.1527"},{"issue":"10","key":"1195_CR69","doi-asserted-by":"publisher","first-page":"353","DOI":"10.3390\/E18100353","volume":"18","author":"L Chen","year":"2016","unstructured":"Chen, L., Feng, H., Xie, Z.: Generalized thermodynamic optimization for iron and steel production processes: theoretical exploration and application cases. Entropy 18(10), 353 (2016). https:\/\/doi.org\/10.3390\/E18100353","journal-title":"Entropy"},{"key":"1195_CR70","doi-asserted-by":"publisher","unstructured":"Jensen, P.G., Larsen, K.G., Miku\u010dionis, M.: In: A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 283\u2013305. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-15629-8_15","DOI":"10.1007\/978-3-031-15629-8_15"}],"updated-by":[{"DOI":"10.1007\/s10270-025-01334-w","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T00:00:00Z","timestamp":1761264000000}},{"DOI":"10.1007\/s10270-025-01269-2","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T00:00:00Z","timestamp":1738886400000}}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01195-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-024-01195-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01195-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T06:43:50Z","timestamp":1761893030000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-024-01195-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,5]]},"references-count":70,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,8]]}},"alternative-id":["1195"],"URL":"https:\/\/doi.org\/10.1007\/s10270-024-01195-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,8,5]]},"assertion":[{"value":"5 May 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 May 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 July 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 August 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 October 2025","order":6,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":7,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"A Correction to this paper has been published:","order":8,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"https:\/\/doi.org\/10.1007\/s10270-025-01334-w","URL":"https:\/\/doi.org\/10.1007\/s10270-025-01334-w","order":9,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 February 2025","order":10,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":11,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"A Correction to this paper has been published:","order":12,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"https:\/\/doi.org\/10.1007\/s10270-025-01269-2","URL":"https:\/\/doi.org\/10.1007\/s10270-025-01269-2","order":13,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}