{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:59Z","timestamp":1750308719309,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":13,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-13-INSE-0001"],"award-info":[{"award-number":["ANR-13-INSE-0001"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1145\/2676585.2676599","type":"proceedings-article","created":{"date-parts":[[2015,1,16]],"date-time":"2015-01-16T19:18:59Z","timestamp":1421435939000},"page":"75-84","source":"Crossref","is-referenced-by-count":0,"title":["Formal evaluation of landing gear system"],"prefix":"10.1145","author":[{"given":"Dominique","family":"M\u00e9ry","sequence":"first","affiliation":[]},{"given":"Neeraj Kumar","family":"Singh","sequence":"additional","affiliation":[]}],"member":"320","reference":[{"doi-asserted-by":"crossref","unstructured":"J.-R. Abrial.Modeling in Event-B: System and Software Engineering. 2010.","key":"key-10.1145\/2676585.2676599-1","DOI":"10.1017\/CBO9781139195881"},{"doi-asserted-by":"crossref","unstructured":"Rajeev Alur and David L. Dill. A Theory of Timed Automata.Theor. Comput. Sci., 126(2): 183--235, 1994.","key":"key-10.1145\/2676585.2676599-2","DOI":"10.1016\/0304-3975(94)90010-8"},{"unstructured":"Dines Bjørner and Martin C. Henson, editors.Logics of Specification Languages. EATCS Textbook in Computer Science. Springer, 2007.","key":"key-10.1145\/2676585.2676599-3"},{"doi-asserted-by":"crossref","unstructured":"Frédéric Boniol and Virginie Wiels. The Landing Gear System Case Study. In Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, and Klaus-Dieter Schewe, editors,ABZ 2014: The Landing Gear Case Study, volume 433 ofCCIS, pages 1--18. Springer, 2014.","key":"key-10.1145\/2676585.2676599-4","DOI":"10.1007\/978-3-319-07512-9_1"},{"doi-asserted-by":"crossref","unstructured":"Dominique Cansell, Dominique Méry, and Joris Rehm. Time Constraint Patterns for Event B Development. In Jacques Julliand and Olga Kouchnarenko, editors,B 2007: Formal Specification and Development in B, volume 4355 ofLecture Notes in Computer Science, pages 140--154. Springer Berlin Heidelberg, 2006.","key":"key-10.1145\/2676585.2676599-5","DOI":"10.1007\/11955757_13"},{"unstructured":"Federal Aviation Administration (FAA).Aircraft Landing Gear System, Chapter 13 in Aviation Maintenance Technician Handbook - Airframe Vol-1. U.S. Dept. of Transportation, Washington, D.C., 2012.","key":"key-10.1145\/2676585.2676599-6"},{"unstructured":"Federal Aviation Administration (FAA). System Design and Analysis, Advisory Circular AC 25.1309-1A. http:\/\/www.faa.gov, June 1988.","key":"key-10.1145\/2676585.2676599-7"},{"doi-asserted-by":"crossref","unstructured":"Sally C. Johnson and Ricky W. Butler.Formal Methods, Chapter 21 in The Avionics Handbook. CRC Press, 2001. edited by Cary R. Spitzer.","key":"key-10.1145\/2676585.2676599-8","DOI":"10.1201\/9781420036879.ch21"},{"unstructured":"Dominique Méry and Neeraj Kumar Singh. Modelling an Aircraft Landing System in Event-B (Full Report). Technical report. http:\/\/hal.inria.fr\/hal-00971787.","key":"key-10.1145\/2676585.2676599-9"},{"doi-asserted-by":"crossref","unstructured":"Dominique Méry and Neeraj Kumar Singh. Automatic Code Generation from Event-B Models. InProceedings of the Second Symposium on Information and Communication Technology, SoICT '11, pages 179--188, New York, NY, USA, 2011. ACM.","key":"key-10.1145\/2676585.2676599-10","DOI":"10.1145\/2069216.2069252"},{"unstructured":"Dominique Méry and NeerajKumar Singh. Modeling an Aircraft Landing System in Event-B. In Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, and Klaus-Dieter Schewe, editors,ABZ 2014: The Landing Gear Case Study, volume 433 of CCIS, pages 154--159. Springer International Publishing, 2014.","key":"key-10.1145\/2676585.2676599-11"},{"unstructured":"RODIN. Rigorous Open Development Environment for Complex Systems. http:\/\/rodin-b-sharp.sourceforge.net. 2004--2013.","key":"key-10.1145\/2676585.2676599-12"},{"unstructured":"Neeraj Kumar Singh.Using Event-B for Critical Device Software Systems. Springer-Verlag GmbH, 2013.","key":"key-10.1145\/2676585.2676599-13"}],"event":{"number":"5","acronym":"SoICT '14","name":"the Fifth Symposium","start":{"date-parts":[[2014,12,4]]},"location":"Hanoi, Viet Nam","end":{"date-parts":[[2014,12,5]]}},"container-title":["Proceedings of the Fifth Symposium on Information and Communication Technology - SoICT '14"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2676585.2676599","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=2676599&ftid=1529162&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:30Z","timestamp":1750277670000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=2676585.2676599"}},"subtitle":[],"proceedings-subject":"Information and Communication Technology","short-title":[],"issued":{"date-parts":[[2014]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1145\/2676585.2676599","relation":{},"subject":[],"published":{"date-parts":[[2014]]}}}