{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T20:37:31Z","timestamp":1761511051931},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030328719"},{"type":"electronic","value":"9783030328726"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-32872-6_11","type":"book-chapter","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T19:04:24Z","timestamp":1570734264000},"page":"157-172","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Model Synchronization: A Formal Framework for the Management of Heterogeneous Models"],"prefix":"10.1007","author":[{"given":"Michel","family":"Batteux","sequence":"first","affiliation":[]},{"given":"Tatiana","family":"Prosvirnova","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Rauzy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,11]]},"reference":[{"key":"11_CR1","volume-title":"A Theory of Objects","author":"M Abadi","year":"1998","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New-York (1998)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Batteux, M., Prosvirnova, T., Rauzy, A.: From models of structures to structures of models. In: 4th IEEE International Symposium on Systems Engineering, ISSE 2018, Rome, Italy, October 2018","DOI":"10.1109\/SysEng.2018.8544424"},{"issue":"1\/2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1504\/IJCCBS.2019.098809","volume":"9","author":"Michel Batteux","year":"2019","unstructured":"Batteux, M., Prosvirnova, T., Rauzy, A.: Altarica 3.0 in 10 modeling patterns. Int. J. Critical Comput.-Based Syst. (IJCCBS) 9, 133 (2019). \n                      https:\/\/doi.org\/10.1504\/IJCCBS.2019.10020023","journal-title":"International Journal of Critical Computer-Based Systems"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Batteux, M.B., Prosvirnova, T., Rauzy, A., Yang, L.: Reliability assessment of phased-mission systems with AltaRica 3.0. In: 3rd International Conference on System Reliability and Safety (ICSRS 2018), Barcelone, Spain, November 2018","DOI":"10.1109\/ICSRS.2018.8688851"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0951-8320(03)00143-1","volume":"82","author":"M Bouissou","year":"2003","unstructured":"Bouissou, M., Bon, J.: A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. Reliab. Eng. Syst. Saf. 82, 149\u2013163 (2003)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"11_CR6","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction of approximations of fixpoints. In: Proceedings of the 4th ACM-Sigplan Symposium on Principles of Programming Languages, POPL 1977, pp. 238\u2013252. ACM, Los Angeles (1977). \n                      https:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"11_CR7","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann, The MK\/OMG Press, San Francisco (2011)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach. Wiley-IEEE Press, Hoboken (2015)","DOI":"10.1002\/9781118989166"},{"issue":"1","key":"11_CR9","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s10270-012-0309-1","volume":"14","author":"F Hermann","year":"2015","unstructured":"Hermann, F., et al.: Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14(1), 241\u2013269 (2015). \n                      https:\/\/doi.org\/10.1007\/s10270-012-0309-1","journal-title":"Softw. Syst. Model."},{"key":"11_CR10","doi-asserted-by":"publisher","DOI":"10.1201\/9781420044195","volume-title":"Simulation of Dynamic Systems with MATLAB and Simulink","author":"Harold Klee","year":"2018","unstructured":"Klee, H., Allen, R.: Simulation of Dynamic Systems with MATLAB and Simulink. CRC Press, Boca Raton (2011)"},{"key":"11_CR11","unstructured":"Krob, D.: CESAM: CESAMES Systems Architecting Method: A Pocket Guide. CESAMES, January 2017. \n                      http:\/\/www.cesames.net"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1016\/j.ssci.2016.04.011","volume":"87","author":"P Mauborgne","year":"2016","unstructured":"Mauborgne, P., Deniaud, S., Levrat, E., Bonjour, E., Mica\u00eblli, J.P., Loise, D.: Operational and system hazard analysis in a safe systems requirement engineering process - application to automotive industry. Saf. Sci. 87, 256\u2013268 (2016)","journal-title":"Saf. Sci."},{"key":"11_CR13","unstructured":"Noble, J., Taivalsaari, A., Moore, I.: Prototype-Based Programming: Concepts. Languages and Applications. Springer, Heidelberg (1999)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Pierce, B.C.: Basic Category Theory of Computer Scientists. Foundations of Computing. MIT Press, Cambridge (1991)","DOI":"10.7551\/mitpress\/1524.001.0001"},{"key":"11_CR15","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21469","author":"A Rauzy","year":"2018","unstructured":"Rauzy, A., Haskins, C.: Foundations for model-based systems engineering and model-based safety assessment. J. Syst. Eng. (2018). \n                      https:\/\/doi.org\/10.1002\/sys.21469","journal-title":"J. Syst. Eng."},{"key":"11_CR16","unstructured":"Roques, P.: MBSE with the ARCADIA method and the Capella tool. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Toulouse, France, January 2016. \n                      https:\/\/hal.archives-ouvertes.fr\/hal-01258014"},{"key":"11_CR17","doi-asserted-by":"publisher","unstructured":"Stephan, M., Cordy, J.R.: A survey of model comparison approaches and applications. In: MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, 19\u201321 February 2013, Barcelona, Spain, pp. 265\u2013277 (2013). \n                      https:\/\/doi.org\/10.5220\/0004311102650277","DOI":"10.5220\/0004311102650277"},{"key":"11_CR18","unstructured":"Yakymets, N., Julho, Y.M., Lanusse, A.: Sophia framework for model-based safety analysis. In: Actes du congr\u00e8s Lambda-Mu 19 (actes \u00e9lectroniques). Institut pour la Ma\u00eetrise des Risques, Dijon, France, October 2014"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32872-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T19:07:59Z","timestamp":1570734479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32872-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030328719","9783030328726"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32872-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"11 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IMBSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model-Based Safety and Assessment","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thessaloniki","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imbsa2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/easyconferences.eu\/imbsa2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-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":"46","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":"24","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":"52% - 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":"3","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}