{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:28:17Z","timestamp":1725805697784},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452301"},{"type":"electronic","value":"9783662452318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45231-8_48","type":"book-chapter","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T15:42:39Z","timestamp":1411746159000},"page":"573-587","source":"Crossref","is-referenced-by-count":2,"title":["Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach"],"prefix":"10.1007","author":[{"given":"Christian","family":"Attiogb\u00e9","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"48_CR1","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining Specifications. ACM Trans. Program. Lang. Syst.\u00a017(3), 507\u2013535 (1995)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"48_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"Attiogb\u00e9, C.: Event-Based Approach to Modeling Dynamic Architecture: Application to Mobile Adhoc Network. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol.\u00a017, pp. 769\u2013781. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-88479-8_55"},{"key":"48_CR4","unstructured":"Boulanger, F., Jacquet, C., Hardebolle, C., Dogui, A.: Heterogeneous model composition in modhel\u2019x: the power window case study. In: Proceedings of Gemoc 2013, Workshop on the Globalization of Modeling Languages, Miami, Florida, USA, 10 pages (September 2013)"},{"key":"48_CR5","first-page":"95","volume":"2","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: The implementation of reliable distributed multiprocess systems. Computer Networks\u00a02, 95\u2013114 (1978)","journal-title":"Computer Networks"},{"issue":"7","key":"48_CR6","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"48_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-16129-2_20","volume-title":"Model Driven Engineering Languages and Systems","author":"E.A. Lee","year":"2010","unstructured":"Lee, E.A.: Disciplined Heterogeneous Modeling. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part II. LNCS, vol.\u00a06395, pp. 273\u2013287. Springer, Heidelberg (2010)"},{"key":"48_CR8","unstructured":"Ptolemaeus, C. (ed.): System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org (2014)"},{"issue":"4","key":"48_CR9","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1145\/6041.6074","volume":"17","author":"A.S. Tanenbaum","year":"1985","unstructured":"Tanenbaum, A.S., van Renesse, R.: Distributed Operating Systems. ACM Comput. Surv.\u00a017(4), 419\u2013470 (1985)","journal-title":"ACM Comput. Surv."},{"issue":"4","key":"48_CR10","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1145\/158431.158438","volume":"2","author":"P. Zave","year":"1993","unstructured":"Zave, P., Jackson, M.: Conjunction as Composition. ACM Transactions on Software Engineering and Methodology\u00a02(4), 379\u2013411 (1993)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45231-8_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T00:11:55Z","timestamp":1559002315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45231-8_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452301","9783662452318"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45231-8_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}