{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T15:52:36Z","timestamp":1773330756538,"version":"3.50.1"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,7,13]],"date-time":"2016-07-13T00:00:00Z","timestamp":1468368000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s10009-016-0431-4","type":"journal-article","created":{"date-parts":[[2016,7,13]],"date-time":"2016-07-13T14:34:35Z","timestamp":1468420475000},"page":"133-140","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["The landing gear case study: challenges and experiments"],"prefix":"10.1007","volume":"19","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Boniol","sequence":"first","affiliation":[]},{"given":"Virginie","family":"Wiels","sequence":"additional","affiliation":[]},{"given":"Yamine","family":"A\u00eft-Ameur","sequence":"additional","affiliation":[]},{"given":"Klaus-Dieter","family":"Schewe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,13]]},"reference":[{"key":"431_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B\u2014system and software engineering","author":"J Abrial","year":"2010","unstructured":"Abrial, J.: Modeling in Event-B\u2014system and software engineering. Cambridge University Press, Cambridge (2010)"},{"key":"431_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.): Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Lecture Notes in Computer Science, vol. 1165. Springer, London (1996)","DOI":"10.1007\/BFb0027227"},{"key":"431_CR3","unstructured":"Abrial, J., B\u00f6rger, E., Langmaack, H.: The steam boiler control specification problem. http:\/\/www.informatik.uni-kiel.de\/~procos\/dag9523\/dag9523.html (1996)"},{"key":"431_CR4","doi-asserted-by":"publisher","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Rigorous development process of a safety-critical system: from asm models to java code. Int. J. Softw. Tools Technol. Transf. doi: 10.1007\/s10009-015-0394-x (2016)","DOI":"10.1007\/s10009-015-0394-x"},{"key":"431_CR5","doi-asserted-by":"publisher","unstructured":"Banach, R.: The landing gear system in multi-machine hybrid event-b. International J. Softw. Tools Technol. Transf. doi: 10.1007\/s10009-015-0409-7 (2016)","DOI":"10.1007\/s10009-015-0409-7"},{"key":"431_CR6","doi-asserted-by":"crossref","unstructured":"Boniol, F., Wiels, V.: The landing gear system case study. In: ABZ case study, Communications in Computer information science, vol. 433. Springer, Switzerland (2014)","DOI":"10.1007\/978-3-319-07512-9_1"},{"key":"431_CR7","doi-asserted-by":"crossref","unstructured":"Boniol, F., Wiels, V., Ait\u00a0Ameur, Y., Schewe, K.-D.: ABZ 2014: the landing gear case study. Proceedings of case study track, held at the 4th international conference on abstract state machines, alloy, B, TLA, VDM, and Z, Toulouse, June 2\u20136, 2014. Communications in Computer Information Science, vol. 433. Springer, Switzerland (2014)","DOI":"10.1007\/978-3-319-07512-9"},{"key":"431_CR8","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract state machines: A method for high-level system design and analysis. Springer, New York (2003)","DOI":"10.1007\/978-3-642-18216-7"},{"key":"431_CR9","doi-asserted-by":"publisher","unstructured":"Teodorov, C., Dhaussy, P., Le Roux, L.: Environment-driven reachability for timed systems. Safety verification of an aircraft landing gear system. Int. J. Softw. Tools Technol. Transf. doi: 10.1007\/s10009-015-0401-2 (2016)","DOI":"10.1007\/s10009-015-0401-2"},{"key":"431_CR10","unstructured":"Farail, P., Gaufillet, P., Peres, F., Bodeveix, J.P., Filali, M., Berthomieu, B., Rodrigo, S., Vernadat, F., Garavel, H., Lang, F.: FIACRE: an intermediate language for model verification in the TOPCASED environment. In: European congress on embedded real-time software (ERTS), SEE, Toulouse (2008)"},{"key":"431_CR11","doi-asserted-by":"publisher","unstructured":"Hansen, D., Ladenberger, L., Wiegard, H., Bendisposto, J., Leuschel, M.: Validation of the abz landing gear system using prob. Int. J. Softw. Tools Technol. Transf. doi: 10.1007\/s10009-015-0395-9 (2016)","DOI":"10.1007\/s10009-015-0395-9"},{"key":"431_CR12","doi-asserted-by":"publisher","unstructured":"Mammar, A., Laleau, R.: Modelling a landing gear system in event-b. Int. J. Softw. Tools Technol. Transf. doi: 10.1007\/s10009-015-0391-0 (2016)","DOI":"10.1007\/s10009-015-0391-0"},{"key":"431_CR13","doi-asserted-by":"publisher","unstructured":"Su, W., Abrial, J.R.: Aircraft landing gear system: approaches with event-b to the modelling of an industrial system. Int. J. Softw. Tools Technol. Transf. doi: 10.1007\/s10009-015-0400-3 (2016)","DOI":"10.1007\/s10009-015-0400-3"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-016-0431-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-016-0431-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-016-0431-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T03:22:29Z","timestamp":1568172149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-016-0431-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,13]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["431"],"URL":"https:\/\/doi.org\/10.1007\/s10009-016-0431-4","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,13]]}}}