{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T00:56:38Z","timestamp":1762390598060},"publisher-location":"Cham","reference-count":7,"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_8","type":"book-chapter","created":{"date-parts":[[2014,5,12]],"date-time":"2014-05-12T02:23:18Z","timestamp":1399861398000},"page":"110-125","source":"Crossref","is-referenced-by-count":4,"title":["Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre"],"prefix":"10.1007","author":[{"given":"Bernard","family":"Berthomieu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvano","family":"Dal Zilio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u0141ukasz","family":"Fronc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Berthomieu, B., Bodeveix, J.P., Farail, P., Filali, M., Garavel, H., Gauffilet, P., Lang, F., Vernadat, F.: Fiacre: an intermediate language for model verification in the topcased environment. In: Embedded Real Time Software (ERTS) (2008)"},{"key":"8_CR2","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":"8_CR3","unstructured":"Wiels, V., Boniol, F., Ledinot, E.: Experiences in using model checking to verify real time properties of a landing gear control system. SIA\/Articles Techniques (2006)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Ribet, P.O., Vernadat, F.: The tool Tina \u2013 construction of abstract state spaces for Petri Nets and time petri nets. International Journal of Production Research\u00a042 (2004)","DOI":"10.1080\/00207540412331312688"},{"key":"8_CR5","unstructured":"Berthomieu, B., Bodeveix, J.P., Filali, M., Garavel, H., Lang, F., Peres, F., Saad, R., Stoecker, J., Vernadat, F.: The syntax and semantics of fiacre. Repport LAAS N 07264 (2007)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Vernadat, F.: State Space Abstractions for Time Petri Nets. In: Lee, I., Leung, J.Y.-T., Son, S. (eds.) Handbook of Real-Time and Embedded Systems. CRC Press, Boca Raton (2007)","DOI":"10.1201\/9781420011746.pt6"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1504\/IJCCBS.2014.059593","volume":"5","author":"N. Abid","year":"2014","unstructured":"Abid, N., Dal Zilio, S., Le Botlan, D.: A formal framework to specify and verify real\u2013time properties on critical systems. International Journal of Critical Computer-Based Systems\u00a05, 4\u201330 (2014)","journal-title":"International Journal of Critical Computer-Based Systems"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T19:40:07Z","timestamp":1558899607000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07512-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319075112","9783319075129"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07512-9_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}