{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T12:19:26Z","timestamp":1764937166535,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030452339"},{"type":"electronic","value":"9783030452346"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-45234-6_10","type":"book-chapter","created":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T14:04:23Z","timestamp":1587391463000},"page":"203-223","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Skill-Based Verification of Cyber-Physical\u00a0Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8804-7051","authenticated-orcid":false,"given":"Alexander","family":"Kn\u00fcppel","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4127-3913","authenticated-orcid":false,"given":"Inga","family":"Jatzkowski","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5136-917X","authenticated-orcid":false,"given":"Marcus","family":"Nolte","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[]},{"given":"Tobias","family":"Runge","sequence":"additional","affiliation":[]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,4,17]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Ahrendt, W., Beckert, B., Bubel, R., H\u00e4hnle, R., Schmitt, P.H., Ulbrich, M.: Deductive Software Verification\u2013The KeY Book: From Theory to Practice. Springer (2016)","DOI":"10.1007\/978-3-319-49812-6"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R.: Formal Verification of Hybrid Systems. In: Embedded Software (EMSOFT), 2011 Proceedings of the International Conference on. pp. 273\u2013278. IEEE (2011).","DOI":"10.1145\/2038642.2038685"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.H.: Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Hybrid systems, pp. 209\u2013229. Springer (1993).","DOI":"10.1007\/3-540-57318-6_30"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical computer science 126(2), 183\u2013235 (1994)","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Sontag, E.D.: Hybrid Systems III: Verification and Control, vol. 3. Springer Science & Business Media (1996).","DOI":"10.1007\/BFb0020931"},{"key":"10_CR6","unstructured":"Baheti, R., Gill, H.: Cyber-physical Systems. The impact of control technology 12(1), 161\u2013166 (2011)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Barnett, M., F\u00e4hndrich, M., Leino, K.R.M., M\u00fcller, P., Schulte, W.,Venter, H.: Specification and Verification: The Spec# Experience. Communications of the ACM 54, 81\u201391 (Jun 2011)","DOI":"10.1145\/1953122.1953145"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE Transactions on Software Engineering (TSE) 30(6), 355\u2013371(2004)","DOI":"10.1109\/TSE.2004.23"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Broy, M.: Yesterday, Today, and Tomorrow: 50 Years of Software Engineering. IEEE Software 35(5), 38\u201343 (2018)","DOI":"10.1109\/MS.2018.290111138"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Burdy, L., Cheon, Y., Cok, D.R., Ernst, M.D., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An Overview of JML Tools and Applications 7(3), 212\u2013232 (2005)","DOI":"10.1007\/s10009-004-0167-4"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Cuijpers, P.J.L., Reniers, M.A.: Hybrid Process Algebra. The Journal of Logic and Algebraic Programming 62(2), 191\u2013245 (2005)","DOI":"10.1016\/j.jlap.2004.02.001"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: An Efficient SMT Solver. In: Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems. pp. 337\u2013340. Springer (2008).","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"10_CR13","unstructured":"Foundation, T.E.: Graphiti - a Graphical Tooling Infrastructure, [Available at \nhttps:\/\/www.eclipse.org\/graphiti\/\n\n; accessed 22-January-2018."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Fulton, N., Mitsch, S., Quesel, J.D., V\u00f6lp, M., Platzer, A.: KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. In: International Conference on Automated Deduction. pp. 527\u2013538. Springer (2015).","DOI":"10.1007\/978-3-319-21401-6_36"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Garcia, A., Sant\u2019Anna, C., Chavez, C., da\u00a0Silva, V.T., de\u00a0Lucena, C.J., vonStaa, A.: Separation of Concerns in Multi-agent Systems: An Empirical Study. In: International Workshop on Software Engineering for Large-Scale Multi-agent Systems. pp. 49\u201372. Springer (2003)","DOI":"10.1007\/978-3-540-24625-1_4"},{"key":"10_CR16","unstructured":"Gleirscher, M., Foster, S., Woodcock, J.: Opportunities for Integrated Formal Methods. CoRR abs\/1812.10103 (2018), \nhttp:\/\/arxiv.org\/abs\/1812.10103\n\n."},{"key":"10_CR17","unstructured":"Gleirscher, M., Marmsoler, D.: Formal Methods: Oversold? Underused? A Survey. arXiv preprint \narXiv:1812.08815\n\n (2018)."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Leavens, G.T., Leino, K.R.M., M\u00fcller, P., Parkinson, M.: Behavioral Interface Specification Languages 44(3), 16:1\u201316:58 (Jun 2012).","DOI":"10.1145\/2187671.2187678"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The Theory of Hybrid Automata. In: Verification of Digital and Hybrid Systems, pp. 265\u2013292. Springer (2000).","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"10_CR20","unstructured":"Krishna, S.N., Trivedi, A.: Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems (Mar 2015)."},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Lunze, J., Lamnabhi-Lagarrigue, F.: Handbook of Hybrid Systems Control: Theory, Tools, Applications. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511807930"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Maler, O.: Algorithmic Verification of Continuous and Hybrid Systems. arXiv preprint \narXiv:1403.0952\n\n (2014).","DOI":"10.4204\/EPTCS.140.4"},{"key":"10_CR23","unstructured":"Maurer, M.: Flexible Automatisierung von Stra\u00dfenfahrzeugen mit Rechnersehen (2000)"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"M\u00fcller, A., Mitsch, S., Retschitzegger, W., Schwinger, W., Platzer, A.: Tactical Contract Composition for Hybrid System Component Verification. International Journal on Software Tools for Technology Transfer20(6), 615\u2013643 (2018)","DOI":"10.1007\/s10009-018-0502-9"},{"key":"10_CR25","unstructured":"Nerode, A., Kohn, W.: Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. In: Hybrid systems, pp. 317\u2013356. Springer (1993)."},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Nolte, M., Bagschik, G., Jatzkowski, I., Stolte, T., Reschka, A., Maurer, M.: Towards a Skill-and Ability-based Development Process for Self-aware Automated Road Vehicles. In: Intelligent Transportation Systems (ITSC), 2017 IEEE 20th International Conference on. pp. 1\u20136. IEEE (2017).","DOI":"10.1109\/ITSC.2017.8317814"},{"key":"10_CR27","doi-asserted-by":"publisher","unstructured":"Parnas, D.L.: On the Criteria to be used in Decomposing Systems into Modules. Communications of the ACM 15(12), 1053\u20131058 (1972). \nhttps:\/\/doi.org\/10.1145\/361598.361623","DOI":"10.1145\/361598.361623"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Platzer, A.: Differential Dynamic Logic for Hybrid Systems. Journal of Automated Reasoning 41(2), 143\u2013189 (2008)","DOI":"10.1007\/s10817-008-9103-8"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Platzer, A.: Logics of Dynamical Systems. In: Proceedings of the 2012 27th Annual IEEE\/ACM Symposium on Logic in Computer Science. pp. 13\u201324. IEEE Computer Society (2012).","DOI":"10.1109\/LICS.2012.13"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Platzer, A.: The Complete Proof Theory of Hybrid Systems. In: Proceedings of the 2012 27th Annual IEEE\/ACM Symposium on Logic in Computer Science. pp. 541\u2013550. IEEE Computer Society (2012).","DOI":"10.1109\/LICS.2012.64"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Platzer, A.: A Complete Uniform Substitution Calculus for Differential Dynamic Logic. Journal of Automated Reasoning 59(2), 219\u2013265 (2017)","DOI":"10.1007\/s10817-016-9385-1"},{"key":"10_CR32","unstructured":"Reschka, A.: Fertigkeiten- und F\u00e4higkeitengraphen als Grundlage des sicheren Betriebs von automatisierten Fahrzeugen im \u00f6ffentlichen Stra\u00dfenverkehr in st\u00e4dtischer Umgebung. Ph.D. thesis (Jul 2017)."},{"key":"10_CR33","unstructured":"Reschka, A., Bagschik, G., Ulbrich, S., Nolte, M., Maurer, M.: Ability and Skill Graphs for System Modeling, Online Monitoring, and Decision Support for Vehicle Guidance Systems. In: Intelligent Vehicles Symposium (IV), 2015 IEEE. pp. 933\u2013939. IEEE (2015)."},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Schumann, J.M.: Automated Theorem Proving in Software Engineering. Springer Science & Business Media (2001).","DOI":"10.1007\/978-3-662-22646-9"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer Science & Business Media (2009).","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton, Jr., S.M.: N Degrees of Separation: Multi-Dimensional Separation of Concerns. In: Proceedings of the International Conference on Software Engineering (ICSE). pp. 107\u2013119. ACM (1999).","DOI":"10.1145\/302405.302457"},{"key":"10_CR37","unstructured":"Ulbrich, S., Reschka, A., Rieken, J., Ernst, S., Bagschik, G., Dierkes, F., Nolte, M., Maurer, M.: Towards a Functional System Architecture for Automated Vehicles. arXiv preprint \narXiv:1703.08557\n\n (2017)."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-45234-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,11]],"date-time":"2020-08-11T12:19:33Z","timestamp":1597148373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-45234-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030452339","9783030452346"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-45234-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"17 April 2020","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 Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.etaps.org\/2020\/fase","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"81","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference could not take place due to the COVID-19 pandemic. There was an online event on July 2, 2020.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}