{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T14:40:12Z","timestamp":1769352012794,"version":"3.49.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319075112","type":"print"},{"value":"9783319075129","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07512-9_3","type":"book-chapter","created":{"date-parts":[[2014,5,12]],"date-time":"2014-05-12T02:23:18Z","timestamp":1399861398000},"page":"36-51","source":"Crossref","is-referenced-by-count":6,"title":["Modeling and Analyzing Using ASMs: The Landing Gear System Case Study"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Arcaini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-11811-1_6","volume-title":"Abstract State Machines, Alloy, B and Z","author":"P. Arcaini","year":"2010","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: AsmetaSMV: A way to link high-level ASM models to low-level NuSMV specifications. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol.\u00a05977, pp. 61\u201374. Springer, Heidelberg (2010)"},{"key":"3_CR2","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Automatic Review of Abstract State Machines by Meta Property Verification. In: Mu\u00f1oz, C. (ed.) Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), pp. 4\u201313. NASA (2010)"},{"key":"3_CR3","series-title":"CCIS","first-page":"95","volume-title":"ABZ 2014 Case Study Track","author":"P. Arcaini","year":"2014","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Offline model-based testing and runtime monitoring of the sensor voting module. In: Boniol, F. (ed.) ABZ 2014 Case Study Track. CCIS, vol.\u00a0433, pp. 95\u2013109. Springer, Heidelberg (2014)"},{"key":"3_CR4","first-page":"155","volume":"41","author":"P. Arcaini","year":"2011","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Software: Practice and Experience\u00a041, 155\u2013166 (2011)","journal-title":"Software: Practice and Experience"},{"key":"3_CR5","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":"3_CR6","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s00165-003-0012-7","volume":"15","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E.: The ASM refinement method. Formal Aspects of Computing\u00a015, 237\u2013257 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11559306_15","volume-title":"Frontiers of Combining Systems","author":"E. B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E.: The ASM method for system design and analysis. A tutorial introduction. In: Gramlich, B. (ed.) FroCos 2005. LNCS (LNAI), vol.\u00a03717, pp. 264\u2013283. Springer, Heidelberg (2005)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s00165-006-0019-y","volume":"19","author":"E. B\u00f6rger","year":"2007","unstructured":"B\u00f6rger, E.: Construction and analysis of ground models and their refinements as a foundation for validating computer based systems. Formal Aspects of Computing\u00a019, 225\u2013241 (2007)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer (2003)","DOI":"10.1007\/978-3-642-18216-7"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-87603-8_7","volume-title":"Abstract State Machines, B and Z","author":"A. Carioni","year":"2008","unstructured":"Carioni, A., Gargantini, A., Riccobene, E., Scandurra, P.: A Scenario-Based Validation Language for ASMs. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol.\u00a05238, pp. 71\u201384. Springer, Heidelberg (2008)"},{"issue":"12","key":"3_CR11","first-page":"1949","volume":"14","author":"A. Gargantini","year":"2008","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. Universal Computer Science\u00a014(12), 1949\u20131983 (2008)","journal-title":"J. Universal Computer Science"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: Model-Driven Language Engineering: The ASMETA Case Study. In: Int. Conf. on Software Engineering Advances, ICSEA, pp. 373\u2013378 (2008)","DOI":"10.1109\/ICSEA.2008.62"},{"issue":"12","key":"3_CR13","first-page":"1984","volume":"14","author":"A. Slissenko","year":"2008","unstructured":"Slissenko, A., Vasilyev, P.: Simulation of Timed Abstract State Machines with predicate logic model-checking. J.UCS\u00a014(12), 1984\u20132006 (2008)","journal-title":"J.UCS"}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,10]],"date-time":"2019-08-10T10:55:10Z","timestamp":1565434510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07512-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319075112","9783319075129"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07512-9_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}