{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:20Z","timestamp":1725455840871},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642342806"},{"type":"electronic","value":"9783642342813"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34281-3_18","type":"book-chapter","created":{"date-parts":[[2012,10,29]],"date-time":"2012-10-29T18:38:09Z","timestamp":1351535889000},"page":"230-248","source":"Crossref","is-referenced-by-count":11,"title":["Complementary Methodologies for Developing Hybrid Systems with Event-B"],"prefix":"10.1007","author":[{"given":"Wen","family":"Su","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Raymond","family":"Abrial","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","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":"18_CR2","unstructured":"http:\/\/www.event-b.org"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-30885-7_13","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"J.-R. Abrial","year":"2012","unstructured":"Abrial, J.-R., Su, W., Zhu, H.: Formalizing Hybrid Systems with Event-B. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol.\u00a07316, pp. 178\u2013193. Springer, Heidelberg (2012)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85762-4_1","volume-title":"Theoretical Aspects of Computing - ICTAC 2008","author":"J.-R. Abrial","year":"2008","unstructured":"Abrial, J.-R., Hoang, T.S.: Using Design Patterns in Formal Methods: An Event-B Approach. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol.\u00a05160, pp. 1\u20132. Springer, Heidelberg (2008)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Hoang, T.S., Furst, A., Abrial, J.-R.: Event-B Patterns and Their Tool Support. In: SEFM 2009 (2009)","DOI":"10.1109\/SEFM.2009.17"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Corbett, J.C.: Modeling and Analysis of Real-Time Ada Tasking Programs. In: IEEE Real-Time Systems Symposium (1994)","DOI":"10.1109\/REAL.1994.342723"},{"issue":"4","key":"18_CR7","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R.J. Back","year":"1988","unstructured":"Back, R.J., Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM Transaction on Programming Languages and Systems\u00a010(4), 513\u2013554 (1988)","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-45352-0_17","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"R.-J. Back","year":"2000","unstructured":"Back, R.-J., Petre, L., Porres, I.: Generalizing Action Systems to Hybrid Systems. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, pp. 202\u2013213. Springer, Heidelberg (2000)"},{"key":"18_CR9","unstructured":"Back, R.J., Cerschi Seceleanu, C., Westerholm, J.: Symbolic Simulation of Hybrid Systems. In: APSEC 2002 (2002)"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., et al.: The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science\u00a0138, 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Lamport, L.: A fast mutual exclusion Algorithm. ACM Transactions on Computer Systems (1987)","DOI":"10.1145\/7351.7352"},{"key":"18_CR12","unstructured":"Lin, W., Wu, M., Yang, Z., Zeng, Z.: Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation. CoRR 2011 (2011)"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/978-3-540-31954-2_37","volume-title":"Hybrid Systems: Computation and Control","author":"S. Ratschan","year":"2005","unstructured":"Ratschan, S., She, Z.: Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 573\u2013589. Springer, Heidelberg (2005)"},{"key":"18_CR14","unstructured":"Sankaranarayanan, S., Sipma, H., Manna, Z.: Constructing Invariants for Hybrid Systems. Formal Methods in System Design, SSM04b 2008 (2008)"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Liu, J., Zhan, N., Zhao, H.: Computing semi-algebraic invariants for polynomial dynamical systems. In: EMSOFT 2011 (2011)","DOI":"10.1145\/2038642.2038659"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Gerber, R., Lee, I.: A layered approach to automating verification of real-time systems. IEEE Transaction on Software Engineering (1992)","DOI":"10.1109\/32.159838"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Development of Reactive Systems","year":"1995","unstructured":"Lewerentz, C., Lindner, T. (eds.): Formal Development of Reactive Systems. LNCS, vol.\u00a0891. Springer, Heidelberg (1995)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Leuschel, M., Butler, M.J.: ProB: an automated analysis toolset for the B method. In: STTT 2008 (2008)","DOI":"10.1007\/s10009-007-0063-9"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1007\/11780274_31","volume-title":"Algebra, Meaning, and Computation","author":"K. Ogata","year":"2006","unstructured":"Ogata, K., Futatsugi, K.: Some Tips on Writing Proof Scores in the OTS\/CafeOBJ Method. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol.\u00a04060, pp. 596\u2013615. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34281-3_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:50:46Z","timestamp":1620132646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34281-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642342806","9783642342813"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34281-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}