{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:59:40Z","timestamp":1762459180233},"publisher-location":"Cham","reference-count":10,"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_5","type":"book-chapter","created":{"date-parts":[[2014,5,12]],"date-time":"2014-05-12T02:23:18Z","timestamp":1399861398000},"page":"66-79","source":"Crossref","is-referenced-by-count":16,"title":["Validation of the ABZ Landing Gear System Using ProB"],"prefix":"10.1007","author":[{"given":"Dominik","family":"Hansen","sequence":"first","affiliation":[]},{"given":"Lukas","family":"Ladenberger","sequence":"additional","affiliation":[]},{"given":"Harald","family":"Wiegard","sequence":"additional","affiliation":[]},{"given":"Jens","family":"Bendisposto","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The B-Book. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"5_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":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/11901433_32","volume-title":"Formal Methods and Software Engineering","author":"J.-R. Abrial","year":"2006","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Voisin, L.: An open extensible tool environment for Event-B. In: Liu, Z., Kleinberg, R.D. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 588\u2013605. Springer, Heidelberg (2006)"},{"key":"5_CR4","unstructured":"Bendisposto, J., Birkhoff, M., Clark, J., Dobrikov, I., Fontaine, M., Fritz, F., Goebbels, R., Hansen, D., Kantner, P., Koerner, P., Krings, S., Ladenberger, L., Luo, L., Leuschel, M., Plagge, D., Spermann, C.: ProB 2.0 source code, \n                  \n                    http:\/\/github.com\/bendisposto\/prob2"},{"key":"5_CR5","unstructured":"Bendisposto, J., Birkhoff, M., Clark, J., Dobrikov, I., Fontaine, M., Fritz, F., Goebbels, R., Hansen, D., Kantner, P., Koerner, P., Krings, S., Ladenberger, L., Luo, L., Leuschel, M., Plagge, D., Spermann, C.: ProB 2.0 Update Site for Rodin, \n                  \n                    http:\/\/nightly.cobra.cs.uni-duesseldorf.de\/experimental\/updatesite\/"},{"key":"5_CR6","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":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-642-24559-6_15","volume-title":"Formal Methods and Software Engineering","author":"R. Gmehlich","year":"2011","unstructured":"Gmehlich, R., Grau, K., Hallerstede, S., Leuschel, M., L\u00f6sch, F., Plagge, D.: On fitting a formal method into practice. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 195\u2013210. Springer, Heidelberg (2011)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-642-04570-7_17","volume-title":"Formal Methods for Industrial Critical Systems","author":"L. Ladenberger","year":"2009","unstructured":"Ladenberger, L., Bendisposto, J., Leuschel, M.: Visualising Event-B Models with B-Motion Studio. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol.\u00a05825, pp. 202\u2013204. Springer, Heidelberg (2009)"},{"issue":"2","key":"5_CR9","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":"5_CR10","doi-asserted-by":"crossref","unstructured":"Silva, R., Butler, M.: Shared event composition\/decomposition in Event-B. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol.\u00a06957, pp. 122\u2013141. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-25271-6_7"}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T19:55:54Z","timestamp":1558900554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07512-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319075112","9783319075129"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07512-9_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}