{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:25:14Z","timestamp":1725884714812},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319576657"},{"type":"electronic","value":"9783319576664"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57666-4_6","type":"book-chapter","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T08:18:42Z","timestamp":1491985122000},"page":"73-91","source":"Crossref","is-referenced-by-count":1,"title":["Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions"],"prefix":"10.1007","author":[{"given":"Maria","family":"Pittou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"key":"6_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Broman, D., Lee, E.A., Tripakis, S., T\u00f6rngren, M.: Viewpoints, formalisms, languages, and tools for cyber-physical systems. In: 6th International Workshop on Multi-Paradigm Modeling (MPM 2012) (2012)","DOI":"10.1145\/2508443.2508452"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-319-21155-8_3","volume-title":"Theory and Practice of Model Transformations","author":"S Getir","year":"2015","unstructured":"Getir, S., Grunske, L., Bernasko, C.K., K\u00e4fer, V., Sanwald, T., Tichy, M.: CoWolf \u2013 A generic framework for multi-view co-evolution and evaluation of models. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 34\u201340. Springer, Cham (2015). doi: 10.1007\/978-3-319-21155-8_3"},{"key":"6_CR4","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"1990","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, New York (1990)"},{"key":"6_CR5","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: Semantically configurable consistency analysis for class and object diagrams. CoRR, abs\/1409.2313 (2014)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Persson, M., T\u00f6rngren, M., Qamar, A., Westman, J., Biehl, M., Tripakis, S., Vangheluwe, H., Denil, J.: A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. In: EMSOFT, pp. 10:1\u201310:10. IEEE (2013)","DOI":"10.1109\/EMSOFT.2013.6658588"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Rajhans, A., Krogh, B.H.: Heterogeneous verification of cyber-physical systems using behavior relations. In: HSCC 2012, pp. 35\u201344. ACM (2012)","DOI":"10.1145\/2185632.2185641"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Rajhans, A., Krogh, B.H.: Compositional heterogeneous abstraction. In: HSCC 2013, pp. 253\u2013262. ACM (2013)","DOI":"10.1145\/2461328.2461368"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-39958-2_16","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"H Rasch","year":"2003","unstructured":"Rasch, H., Wehrheim, H.: Checking consistency in UML diagrams: Classes and state machines. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 229\u2013243. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-39958-2_16"},{"key":"6_CR10","unstructured":"Reineke, J., Stergiou, C., Tripakis, S.: Basic problems in multi-view modeling. Submitted journal version of [11]"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-54862-8_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J Reineke","year":"2014","unstructured":"Reineke, J., Tripakis, S.: Basic problems in multi-view modeling. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 217\u2013232. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54862-8_15"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1007\/978-3-642-17322-6_25","volume-title":"Graph Transformations and Model-Driven Engineering","author":"AA Shah","year":"2010","unstructured":"Shah, A.A., Kerzhner, A.A., Schaefer, D., Paredis, C.J.J.: Multi-view modeling to support embedded systems engineering in SysML. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Graph Transformations and Model-Driven Engineering. LNCS, vol. 5765, pp. 580\u2013601. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-17322-6_25"},{"issue":"5","key":"6_CR13","doi-asserted-by":"crossref","first-page":"960","DOI":"10.1109\/JPROC.2015.2510366","volume":"104","author":"S Tripakis","year":"2016","unstructured":"Tripakis, S.: Compositionality in the science of system design. Proc. IEEE 104(5), 960\u2013970 (2016)","journal-title":"Proc. IEEE"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-642-34059-8_11","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"R Hanxleden","year":"2012","unstructured":"Hanxleden, R., Lee, E.A., Motika, C., Fuhrmann, H.: Multi-view modeling and pragmatics in 2020. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 209\u2013223. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-34059-8_11"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/11901433_24","volume-title":"Formal Methods and Software Engineering","author":"X Zhao","year":"2006","unstructured":"Zhao, X., Long, Q., Qiu, Z.: Model checking dynamic UML consistency. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 440\u2013459. Springer, Heidelberg (2006). doi: 10.1007\/11901433_24"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57666-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T10:43:39Z","timestamp":1498387419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57666-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319576657","9783319576664"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57666-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}