{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:30:31Z","timestamp":1774801831976,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642548611","type":"print"},{"value":"9783642548628","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54862-8_15","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T13:33:34Z","timestamp":1395408814000},"page":"217-232","source":"Crossref","is-referenced-by-count":19,"title":["Basic Problems in Multi-View Modeling"],"prefix":"10.1007","author":[{"given":"Jan","family":"Reineke","sequence":"first","affiliation":[]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-642-12261-3_21","volume-title":"Models in Software Engineering","author":"V. Amaral","year":"2010","unstructured":"Amaral, V., Hardebolle, C., Karsai, G., Lengyel, L., Levendovszky, T.: Recent advances in multi-paradigm modeling. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 220\u2013224. Springer, Heidelberg (2010)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","volume-title":"Formal Methods for Components and Objects","author":"A. Benveniste","year":"2008","unstructured":"Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol.\u00a05382, pp. 200\u2013225. Springer, Heidelberg (2008)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Bhave, A., Krogh, B.H., Garlan, D., Schmerl, B.: View consistency in architectures for cyber-physical systems. In: ICCPS 2011, pp. 151\u2013160 (2011)","DOI":"10.1109\/ICCPS.2011.17"},{"key":"15_CR4","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: MPM (2012)","DOI":"10.1145\/2508443.2508452"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: POPL, pp. 269\u2013282. ACM (1979)","DOI":"10.1145\/567752.567778"},{"key":"15_CR6","unstructured":"Dijkman, R.M.: Consistency in Multi-Viewpoint Architectural Design. PhD thesis, University of Twente (2006)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Doyen, L., Henzinger, T., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: EMSOFT, pp. 79\u201388 (2008)","DOI":"10.1145\/1450058.1450070"},{"issue":"8","key":"15_CR8","first-page":"569","volume":"20","author":"A. Finkelstein","year":"1994","unstructured":"Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multiperspective specifications. IEEE TSE\u00a020(8), 569\u2013578 (1994)","journal-title":"IEEE TSE"},{"key":"15_CR9","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman (1979)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/3-540-56287-7_95","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"P. Granger","year":"1992","unstructured":"Granger, P.: Improving the results of static analyses programs by local decreasing iteration. In: Shyamasundar, R.K. (ed.) FSTTCS 1992. LNCS, vol.\u00a0652, pp. 68\u201379. Springer, Heidelberg (1992)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-642-34059-8_20","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"T.A. Henzinger","year":"2012","unstructured":"Henzinger, T.A., Ni\u010dkovi\u0107, D.: Independent implementability of viewpoints. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol.\u00a07539, pp. 380\u2013395. Springer, Heidelberg (2012)"},{"key":"15_CR12","unstructured":"ISO\/IEC\/IEEE 42010:2011. Systems and software engineering - Architecture description, the latest edition of the original IEEE Std 1471:2000, Recommended Practice for Architectural Description of Software-intensive Systems. IEEE and ISO (2011)"},{"issue":"47-49","key":"15_CR13","doi-asserted-by":"publisher","first-page":"5010","DOI":"10.1016\/j.tcs.2009.07.049","volume":"410","author":"J.-Y. Kao","year":"2009","unstructured":"Kao, J.-Y., Rampersad, N., Shallit, J.: On NFAs where all states are final, initial, or both. Theoretical Computer Science\u00a0410(47-49), 5010\u20135021 (2009)","journal-title":"Theoretical Computer Science"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Persson, M., T\u00f6rngren, M., et al.: A Characterization of Integrated Multi-View Modeling for Embedded Systems. In: EMSOFT (2013)","DOI":"10.1109\/EMSOFT.2013.6658588"},{"key":"15_CR15","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":"15_CR16","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":"15_CR17","doi-asserted-by":"crossref","unstructured":"Reineke, J., Tripakis, S.: Basic problems in multi-view modeling. Technical Report UCB\/EECS-2014-3, EECS Department, University of California, Berkeley (January 2014)","DOI":"10.1007\/978-3-642-54862-8_15"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Lickly, B., Henzinger, T.A., Lee, E.A.: A theory of synchronous relational interfaces. ACM Trans. on Progr. Lang. and Sys. (TOPLAS)\u00a033(4) (July 2011)","DOI":"10.1145\/1985342.1985345"},{"key":"15_CR19","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 von","year":"2012","unstructured":"von 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.\u00a07539, pp. 209\u2013223. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54862-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T18:37:03Z","timestamp":1648665423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54862-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548611","9783642548628"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54862-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}