{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T20:27:04Z","timestamp":1791232024750,"version":"4.1.0"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227737","type":"print"},{"value":"9783032227744","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22774-4_17","type":"book-chapter","created":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:17:11Z","timestamp":1776331031000},"page":"327-347","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and Analyzing Planning-Aware Distributed Cyber-Physical Systems with Timed Graph Transformation Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-6056-2125","authenticated-orcid":false,"given":"Mustafa","family":"Ghani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4723-730X","authenticated-orcid":false,"given":"Holger","family":"Giese","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,17]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur and D. L. Dill. \u201cA Theory of Timed Automata\u201d. In: Theor. Comput. Sci. 126.2 (1994), pp. 183\u2013235. doi: 10.1016\/0304-3975(94)90010-8.","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"B. Becker, D. Beyer, H. Giese, F. Klein, and D. Schilling. \u201cSymbolic invariant verification for systems with dynamic structural adaptation\u201d. In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. Ed. by L. J. Osterweil, H. D. Rombach, and M. L. Soffa. ACM, 2006, pp. 72\u201381. doi: 10.1145\/1134285.1134297.","DOI":"10.1145\/1134285.1134297"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"B. Becker and H. Giese. \u201cOn Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles\u201d. In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA. IEEE Computer Society, 2008, pp. 203\u2013210. isbn: 978-0-7695-3132-8. doi: 10.1109\/ISORC.2008.13. url: https:\/\/ieeexplore.ieee.org\/xpl\/mostRecentIssue.jsp?punumber=4519543.","DOI":"10.1109\/ISORC.2008.13"},{"key":"17_CR4","unstructured":"G. Booch. The unified modeling language user guide. Pearson Education India, 2005."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"P. Bouyer. \u201cTimed automata\u201d. In: Handbook of Automata Theory. Ed. by J. Pin. European Mathematical Society Publishing House, Z\u00fcrich, Switzerland, 2021, pp. 1261\u20131294. doi: 10.4171\/Automata-2\/12.","DOI":"10.4171\/automata-2\/12"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"P. Bouyer, P. Gastin, F. Herbreteau, O. Sankur, and B. Srivathsan. \u201cZone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?\u201d In: FORMATS 2022. Ed. by S. Bogomolov and D. Parker. Vol. 13465. Lecture Notes in Computer Science. Springer, 2022, pp.\u00a016\u201342. doi: 10.1007\/978-3-031-15839-1_2.","DOI":"10.1007\/978-3-031-15839-1_2"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"P. Bouyer, O. Kupferman, N. Markey, B. Maubert, A. Murano, and G. Perelli. \u201cReasoning about Quality and Fuzziness of Strategic Behaviours\u201d. In: IJCAI 2019. Ed. by S. Kraus. ijcai.org, 2019, pp.\u00a01588\u20131594. doi: 10.24963\/ijcai.2019\/220.","DOI":"10.24963\/ijcai.2019\/220"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"T. Cao and A. Sanderson. \u201cTask sequence planning using fuzzy Petri nets\u201d. In: IEEE Transactions on Systems, Man, and Cybernetics 25.5 (1995), pp. 755\u2013768. doi: 10.1109\/21.376489.","DOI":"10.1109\/21.376489"},{"key":"17_CR9","unstructured":"L. Capra, M. Kohler-Bussmeier, H. Rolke, J. Sudeikat, et al. \u201cPetri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems Cost-Benefit Analysis of Structural Transformations\u201d. In: CEUR WORKSHOP PROCEEDINGS. Vol. 3730. CEUR Workshop Proceedings. 2024, pp.\u00a0164\u2013181."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"M. Daun, V. Stenkova, L. Krajinski, J. Brings, T. Bandyszak, and T. Weyer. \u201cGoal modeling for collaborative groups of cyber-physical systems with GRL: reflections on applicability and limitations based on two studies conducted in industry\u201d. In: Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing (2019). url: https:\/\/api.semanticscholar.org\/CorpusID:142503523.","DOI":"10.1145\/3297280.3297436"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"B. Denis, J. Lesage, and Z. Ju\u00e1rez-Orozco. \u201cPerformance Verification of discrete Event Systems using Hybrid Model-Checking\u201d. In: ADHS 2006. Ed. by C. G. Cassandras, A. Giua, C. Seatzu, and J. Zaytoon. Vol. 39. IFAC Proceedings Volumes 5. Elsevier, 2006, pp. 365\u2013370. doi: 10.3182\/20060607-3-IT-3902.00067.","DOI":"10.3182\/20060607-3-IT-3902.00067"},{"key":"17_CR12","unstructured":"H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. \u201cFundamentals of Algebraic Graph Transformation. 2006\u201d. In: EATCS Monographs in Theoretical Computer Science (2006)."},{"key":"17_CR13","unstructured":"B. A. Forouzan. Data communications and networking. Huga Media, 2007."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"A. Gautam, Y. He, and X. Lin. \u201cMotion Planning for Autonomous Driving in Unsignalized Intersections Using Combined Multi-Modal GNN Predictor and MPC Planner\u201d. In: Machines 13.9 (2025). doi: 10.3390\/machines13090760.","DOI":"10.3390\/machines13090760"},{"key":"17_CR15","unstructured":"M. Ghani and H. Giese. \u201cTowards Model Consistency between abstract and explicit Delay-Robustness in Timed Graph Transformation System\u201d. In: ZEUS 2025 (2025), p. 12."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"M. Ghani, S. Schneider, M. Maximova, and H. Giese. \u201cDeriving Delay-Robust Timed Graph Transformation System Models\u201d. In: International Conference on Graph Transformation. Springer. 2024, pp.\u00a0158\u2013179.","DOI":"10.1007\/978-3-031-64285-2_9"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"H. Giese. \u201cFormal Models and Analysis for Self-adaptive Cyber-physical Systems\u201d. In: Formal Aspects of Component Software. Ed. by O. Kouchnarenko and R. Khosravi. Cham: Springer International Publishing, 2017, pp. 3\u20139.","DOI":"10.1007\/978-3-319-57666-4_1"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"H. Giese, T. Vogel, and S. W\u00e4tzoldt. \u201cTowards Smart Systems of Systems\u201d. In: Proceedings of the 6th International Conference on Fundamentals of Software Engineering (FSEN \u201915). Ed. by M. Dastani and M. Sirjani. Vol. 9392. Lecture Notes in Computer Science (LNCS). (invited paper). Springer, 2015, pp. 1\u201329. doi: 10.1007\/978-3-319-24644-4_1.","DOI":"10.1007\/978-3-319-24644-4_1"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"S. Gyapay, R. Heckel, and D. Varr\u00f3. \u201cGraph Transformation with Time: Causality and Logical Clocks\u201d. In: ICGT 2002. Ed. by A. Corradini, H. Ehrig, H. Kreowski, and G. Rozenberg. Vol. 2505. Lecture Notes in Computer Science. Springer, 2002, pp. 120\u2013134. doi: 10.1007\/3-540-45832-8_11.","DOI":"10.1007\/3-540-45832-8_11"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"S. Gyapay, R. Heckel, and D. Varr\u00f3. \u201cGraph transformation with time: Causality and logical clocks\u201d. In: Graph Transformation: First International Conference, ICGT 2002 Barcelona, Spain, October 7\u201312, 2002 Proceedings 1. Springer. 2002, pp. 120\u2013134.","DOI":"10.1007\/3-540-45832-8_11"},{"key":"17_CR21","unstructured":"S. Gyapay, D. Varr\u00f3, and R. Heckel. \u201cGraph Transformation with Time\u201d. In: Fundam. Inform. 58.1 (2003), pp. 1\u201322. url: https:\/\/content.iospress.com\/articles\/fundamenta-informaticae\/fi58-1-02."},{"key":"17_CR22","unstructured":"E. Henshin. \u201cThe Eclipse Foundation (2013)\u201d. In: URL http:\/\/www.eclipse.org\/modeling\/emft\/henshin ()."},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"S. Khaitan, Q. Lin, and J. M. Dolan. \u201cSafe Planning and Control Under Uncertainty for Self-Driving\u201d. In: IEEE Transactions on Vehicular Technology 70.10 (2021), pp. 9826\u20139837. doi: 10.1109\/TVT.2021.3108525.","DOI":"10.1109\/TVT.2021.3108525"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"M. Kwiatkowska, G. Norman, and D. Parker. \u201cPRISM: Probabilistic symbolic model checker\u201d. In: International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Springer. 2002, pp. 200\u2013204.","DOI":"10.1007\/3-540-46029-2_13"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"G. Lee and J. Jung. \u201cDecentralized Platoon Join-in-Middle Protocol Considering Communication Delay for Connected and Automated Vehicle\u201d. In: Sensors 21.21 (2021), p. 7126. doi: 10.3390\/s21217126.","DOI":"10.3390\/s21217126"},{"key":"17_CR26","unstructured":"M. Lushpenko, N. Ferry, H. Song, F. Chauvel, and A. Solberg. \u201cUsing Adaptation Plans to Control the Behavior of Models@ runtime.\u201d In: Models@ run. time. 2015, pp. 11\u201320."},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"M. Maximova, H. Giese, and C. Krause. \u201cProbabilistic Timed Graph Transformation Systems\u201d. In: Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings. Ed. by J. de Lara and D. Plump. Vol. 10373. Lecture Notes in Computer Science. Springer, 2017, pp.\u00a0159\u2013175. isbn: 978-3-319-61469-4. doi: 10.1007\/978-3-319-61470-0_10.","DOI":"10.1007\/978-3-319-61470-0_10"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"M. Maximova, H. Giese, and C. Krause. \u201cProbabilistic timed graph transformation systems\u201d. In: J. Log. Algebr. Meth. Program. 101 (2018), pp. 110\u2013131. doi: 10.1016\/j.jlamp.2018.09.003.","DOI":"10.1016\/j.jlamp.2018.09.003"},{"key":"17_CR29","doi-asserted-by":"crossref","unstructured":"M. Maximova, S. Schneider, and H. Giese. \u201cCompositional Analysis of Probabilistic Timed Graph Transformation Systems\u201d. In: Formal Aspects Comput. 35.3 (2023), 16:1\u201316:79. url: https:\/\/doi.org\/10.1145\/3572782.","DOI":"10.1145\/3572782"},{"key":"17_CR30","doi-asserted-by":"crossref","unstructured":"M. Maximova, S. Schneider, and H. Giese. \u201cInterval Probabilistic Timed Graph Transformation Systems\u201d. In: ICGT 2021. Ed. by F. Gadducci and T. Kehrer. Vol. 12741. Lecture Notes in Computer Science. Springer, 2021, pp. 221\u2013239. doi: 10.1007\/978-3-030-78946-6_12.","DOI":"10.1007\/978-3-030-78946-6_12"},{"key":"17_CR31","doi-asserted-by":"crossref","unstructured":"G. A. Moreno, J. C\u00e1mara, D. Garlan, and B. R. Schmerl. \u201cProactive self-adaptation under uncertainty: a probabilistic model checking approach\u201d. In: ESEC\/FSE 2015. Ed. by E. D. Nitto, M. Harman, and P. Heymans. ACM, 2015, pp. 1\u201312. doi: 10.1145\/2786805.2786853.","DOI":"10.1145\/2786805.2786853"},{"key":"17_CR32","unstructured":"S. Neumann. \u201cModellierung und Verifikation zeitbehafteter Graphtransformationssysteme mittels GROOVE\u201d. Master\u2019s thesis, University of Paderborn, 2007."},{"key":"17_CR33","unstructured":"S. Neumann. \u201cModellierung und Verifikation zeitbehafteter Graphtransformationssysteme mittels Groove\u201d. MA thesis. University of Paderborn, 2007."},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"M. M. Quottrup, T. Bak, and R. Zamanabadi. \u201cMulti-robot planning: A timed automata approach\u201d. In: IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA\u201904. 2004. Vol. 5. IEEE. 2004, pp. 4417\u20134422.","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"17_CR35","doi-asserted-by":"crossref","unstructured":"S. Schneider, M. Maximova, L. Sakizloglou, and H. Giese. \u201cFormal testing of timed graph transformation systems using metric temporal graph logic\u201d. In: Int. J. Softw. Tools Technol. Transf. 23.3 (2021), pp. 411\u2013488. doi: 10.1007\/s10009-020-00585-w.","DOI":"10.1007\/s10009-020-00585-w"},{"key":"17_CR36","doi-asserted-by":"crossref","unstructured":"D. Shin and K. Yi. \u201cCompensation of wireless communication delay for integrated risk management of automated vehicle\u201d. In: 2015 IEEE Intelligent Vehicles Symposium, IV 2015, Seoul, South Korea, June 28 - July 1, 2015. IEEE, 2015, pp. 1355\u20131360. doi: 10.1109\/IVS.2015.7225904.","DOI":"10.1109\/IVS.2015.7225904"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"B. I. Silva and B. H. Krogh. \u201cModeling and verification of hybrid systems with clocked and unclocked events\u201d. In: CDC 2001. IEEE, 2001, pp. 762\u2013767. doi: 10.1109\/.2001.980198.","DOI":"10.1109\/CDC.2001.980198"},{"key":"17_CR38","doi-asserted-by":"crossref","unstructured":"M. Tichy and B. Kl\u00f6pper. \u201cPlanning self-adaption with graph transformations\u201d. In: AGTIVE 2011, Revised Selected and Invited Papers. Springer. 2012, pp. 137\u2013152.","DOI":"10.1007\/978-3-642-34176-2_13"},{"key":"17_CR39","doi-asserted-by":"crossref","unstructured":"Y. Tsuchie and T. Ushio. \u201cControl-invariance of Sampleddata Hybrid Systems with periodically Clocked Events and jitter\u201d. In: ADHS 2006. Ed. by C. G. Cassandras, A. Giua, C. Seatzu, and J. Zaytoon. Vol. 39. IFAC Proceedings Volumes 5. Elsevier, 2006, pp. 417\u2013422. doi: 10.3182\/20060607-3-IT-3902.00075.","DOI":"10.3182\/20060607-3-IT-3902.00075"},{"key":"17_CR40","doi-asserted-by":"crossref","unstructured":"M. Van Steen and A. S. Tanenbaum. \u201cA brief introduction to distributed systems\u201d. In: Computing 98 (2016), pp. 967\u20131009.","DOI":"10.1007\/s00607-016-0508-7"},{"key":"17_CR41","doi-asserted-by":"crossref","unstructured":"D. Weyns, H. V. D. Parunak, F. Michel, T. Holvoet, and J. Ferber. \u201cEnvironments for Multiagent Systems State-of-the-Art and Research Challenges\u201d. In: E4MAS 2004, Revised Selected Papers. Ed. by D. Weyns, H. V. D. Parunak, and F. Michel. Vol. 3374. Lecture Notes in Computer Science. Springer, 2004, pp. 1\u201347. doi: 10.1007\/978-3-540-32259-7_1.","DOI":"10.1007\/978-3-540-32259-7_1"},{"key":"17_CR42","doi-asserted-by":"crossref","unstructured":"H. Xu, S. Schneider, and H. Giese. \u201cIntegrating Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems\u201d. In: FASE 2024, ETAPS 2024. Proceedings. Ed. by D. Beyer and A. Cavalcanti. (accepted). 2024.","DOI":"10.1007\/978-3-031-57259-3_4"},{"key":"17_CR43","doi-asserted-by":"crossref","unstructured":"R. Zhang, K. Cai, Y. Gan, and W. M. Wonham. \u201cDelay-robustness in distributed control of timed discrete-event systems based on supervisor localisation\u201d. In: Int. J. Control 89.10 (2016), pp.\u00a02055\u20132072. doi: 10.1080\/00207179.2016.1147606.","DOI":"10.1080\/00207179.2016.1147606"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22774-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T16:42:56Z","timestamp":1785429776000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22774-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227737","9783032227744"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22774-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"17 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Foundations and Formal Methods for Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2026\/conferences\/fase\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}