{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:07:58Z","timestamp":1725793678887},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319075112"},{"type":"electronic","value":"9783319075129"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07512-9_2","type":"book-chapter","created":{"date-parts":[[2014,5,11]],"date-time":"2014-05-11T22:23:18Z","timestamp":1399846998000},"page":"19-35","source":"Crossref","is-referenced-by-count":10,"title":["Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System"],"prefix":"10.1007","author":[{"given":"Wen","family":"Su","sequence":"first","affiliation":[]},{"given":"Jean-Raymond","family":"Abrial","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"http:\/\/www.lab205.org\/case-landing"},{"key":"2_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":"2_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":"2_CR4","series-title":"CCIS","first-page":"1","volume-title":"ABZ 2014 Case Study Track","author":"F. Boniol","year":"2014","unstructured":"Boniol, F., Wiels, V.: The Landing Gear System Case Study. In: Boniol, F. (ed.) ABZ 2014 Case Study Track. CCIS, vol.\u00a0433, pp. 1\u201318. Springer, Heidelberg (2014)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Hallerstede, S., Jastram, M., Ladenberger, L.: A method and tool for tracing requirements into specifications. Science of Computer Programming, 36 (2013)","DOI":"10.1016\/j.scico.2013.03.008"},{"issue":"2","key":"2_CR6","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10270-010-0183-7","volume":"12","author":"T.S. Hoang","year":"2013","unstructured":"Hoang, T.S., F\u00fcrst, A., Abrial, J.-R.: Event-B patterns and their tool support. Software and System Modeling\u00a012(2), 229\u2013244 (2013)","journal-title":"Software and System Modeling"},{"key":"2_CR7","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. Prentice Hall (2004)"},{"issue":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M. Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.J.: ProB: an automated analysis toolset for the B method. STTT\u00a010(2), 185\u2013203 (2008)","journal-title":"STTT"},{"key":"2_CR9","unstructured":"Rodin, \n                  \n                    http:\/\/www.event-b.org\/"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/978-3-642-24559-6_30","volume-title":"Formal Methods and Software Engineering","author":"W. Su","year":"2011","unstructured":"Su, W., Abrial, J.-R., Huang, R., Zhu, H.: From requirements to development: Methodology and example. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 437\u2013455. Springer, Heidelberg (2011)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-34281-3_18","volume-title":"Formal Methods and Software Engineering","author":"W. Su","year":"2012","unstructured":"Su, W., Abrial, J.-R., Zhu, H.: Complementary methodologies for developing hybrid systems with Event-B. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol.\u00a07635, pp. 230\u2013248. Springer, Heidelberg (2012)"}],"container-title":["Communications in Computer and Information Science","ABZ 2014: The Landing Gear Case Study"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07512-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T15:42:31Z","timestamp":1558885351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07512-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319075112","9783319075129"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07512-9_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}