{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:16:00Z","timestamp":1751516160110,"version":"3.41.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319779348"},{"type":"electronic","value":"9783319779355"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-77935-5_31","type":"book-chapter","created":{"date-parts":[[2018,3,10]],"date-time":"2018-03-10T15:02:34Z","timestamp":1520694154000},"page":"460-467","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Andr\u00e1s","family":"V\u00f6r\u00f6s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M\u00e1rton","family":"B\u00far","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"R\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1kos","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Micskei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L\u00e1szl\u00f3","family":"Balogh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B\u00e1lint","family":"Hegyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benedek","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zsolt","family":"M\u00e1zl\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,11]]},"reference":[{"key":"31_CR1","unstructured":"Balogh, L., et al.: Distributed and heterogeneous event-based monitoring in smart cyber-physical systems. In: MT CPS Workshop (CPS Week 2016) (2016)"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Behrmann, G., et al.: UPPAAL 4.0. In: Third International Conference on the Quantitative Evaluation of Systems, pp. 125\u2013126. IEEE (2006)","DOI":"10.1109\/QEST.2006.59"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"B\u00far, M., et al.: Distributed graph queries for runtime monitoring of cyber-physical systems. In: International Conference on Fundamental Approaches to Software Engineering (2018, accepted)","DOI":"10.1007\/978-3-319-89363-1_7"},{"key":"31_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-08915-7_4","volume-title":"Models@run.time","author":"BHC Cheng","year":"2014","unstructured":"Cheng, B.H.C., et al.: Using models at runtime to address assurance for self-adaptive systems. In: Bencomo, N., France, R., Cheng, B.H.C., A\u00dfmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 101\u2013136. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08915-7_4"},{"issue":"1","key":"31_CR5","first-page":"1","volume":"17","author":"I D\u00e1vid","year":"2016","unstructured":"D\u00e1vid, I., R\u00e1th, I., Varr\u00f3, D.: Foundations for streaming model transformations by complex event processing. Softw. Syst. Model. 17(1), 1\u201328 (2016)","journal-title":"Softw. Syst. Model."},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Dubey, A., et al.: Resilience at the edge in cyber-physical systems. In: FMEC, pp. 139\u2013146, May 2017","DOI":"10.1109\/FMEC.2017.7946421"},{"issue":"2","key":"31_CR7","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10009-014-0309-2","volume":"17","author":"K Havelund","year":"2015","unstructured":"Havelund, K.: Rule-based runtime verification revisited. STTT 17(2), 143\u2013170 (2015)","journal-title":"STTT"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing, pp. 363\u2013369 (2008)","DOI":"10.1109\/ISORC.2008.25"},{"issue":"3","key":"31_CR9","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/MDAT.2014.2314600","volume":"31","author":"EA Lee","year":"2014","unstructured":"Lee, E.A., et al.: The swarm at the edge of the cloud. IEEE Des. Test 31(3), 8\u201320 (2014)","journal-title":"IEEE Des. Test"},{"issue":"4","key":"31_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2744196","volume":"14","author":"R Medhat","year":"2015","unstructured":"Medhat, R., et al.: Runtime monitoring of cyber-physical systems under timing and memory constraints. ACM T. Embed. Comput. Syst. 14(4), 1\u201329 (2015)","journal-title":"ACM T. Embed. Comput. Syst."},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Moln\u00e1r, V., et al.: The gamma statechart composition framework. In: ICSE 2018: Demonstrations (2018, accepted)","DOI":"10.1145\/3183440.3183489"},{"issue":"2","key":"31_CR12","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/2794381","volume":"48","author":"CB Nielsen","year":"2015","unstructured":"Nielsen, C.B., et al.: Systems of systems engineering: basic concepts, model-based techniques, and research directions. ACM Comput. Surv. 48(2), 18 (2015)","journal-title":"ACM Comput. Surv."},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-89247-2_2","volume-title":"Runtime Verification","author":"J Rushby","year":"2008","unstructured":"Rushby, J.: Runtime certification. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 21\u201335. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89247-2_2"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-319-10557-4_24","volume-title":"Computer Safety, Reliability, and Security","author":"T T\u00f3th","year":"2014","unstructured":"T\u00f3th, T., V\u00f6r\u00f6s, A.: Verification of a real-time safety-critical protocol using a modelling language with formal data and behaviour semantics. In: Bondavalli, A., Ceccarelli, A., Ortmeier, F. (eds.) SAFECOMP 2014. LNCS, vol. 8696, pp. 207\u2013218. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10557-4_24"},{"key":"31_CR15","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/j.jss.2015.07.008","volume":"112","author":"M Vierhauser","year":"2016","unstructured":"Vierhauser, M., et al.: Reminds: a flexible runtime monitoring framework for systems of systems. J. Syst. Softw. 112, 123\u2013136 (2016)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-77935-5_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T18:09:23Z","timestamp":1751479763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-77935-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319779348","9783319779355"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-77935-5_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}