{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:42:57Z","timestamp":1725615777882},"publisher-location":"London","reference-count":8,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540761914"},{"type":"electronic","value":"9781447109976"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4471-0997-6_24","type":"book-chapter","created":{"date-parts":[[2011,9,30]],"date-time":"2011-09-30T16:07:46Z","timestamp":1317398866000},"page":"311-320","source":"Crossref","is-referenced-by-count":2,"title":["Embedded Systems in Avionics and the SACRES Approach"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Baufreton","sequence":"first","affiliation":[]},{"given":"Xavier","family":"M\u00e9haut","sequence":"additional","affiliation":[]},{"given":"\u00c9ric","family":"Rutten","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"9","key":"24_CR1","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A Benveniste","year":"1991","unstructured":"A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270\u20131282, September 1991.","journal-title":"Proceedings of the IEEE"},{"key":"24_CR2","volume-title":"Actes du Salon Real\u2013Time Systems RTS\u201994","author":"A Benveniste","year":"1994","unstructured":"A. Benveniste e.a. Synchronous technology for Real-Time Systems. In Actes du Salon Real-Time Systems RTS\u201994, Paris, Janvier 1994."},{"key":"24_CR3","first-page":"331","volume-title":"Specification and Validation Methods","author":"W Damm","year":"1995","unstructured":"W. Damm, B. Josko, R. Schlor. Specification and verification of VHDL-based system-level hardware designs. In E. Borger ed., Specification and Validation Methods, pp. 331\u2013410. Oxford University Press, 1995."},{"key":"24_CR4","volume-title":"Safer Systems","author":"A Grazebrook","year":"1997","unstructured":"A. Grazebrook. SACRES - Formalism for Real Projects. In Safer Systems, ed. F. Redmill & T. Anderson, Springer Verlag, London, 1997."},{"key":"24_CR5","volume-title":"Actes du Salon Real-Time Systems RTS\u201995","author":"A Janvier","year":"1995","unstructured":"A. Janvier, P. Beaufreton. Experience synchrone pour la regulation numerique de turbo-reacteurs. In Actes du Salon Real-Time Systems RTS\u201995, Paris, Janvier 1995. Teknea."},{"key":"24_CR6","first-page":"6\/1","volume-title":"Profiling of SIGNAL programs and its application in the timing evaluation of design implementations","author":"A Kountouris","year":"1996","unstructured":"A. Kountouris, P. Le Guernic. Profiling of SIGNAL programs and its application in the timing evaluation of design implementations. In Proc. of the IEE Colloq. on HW-SW Cosynthesis for Reconfigurable Systems, Feb. 22, 1996, HP Labs., Bristol, UK, pp.6\/1\u20136\/9. 1996."},{"issue":"9","key":"24_CR7","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"P Guernic Le","year":"1991","unstructured":"P. Le Guernic, M. Le Borgne, T. Gautier, C. Le Maire. Programming real-time applications with SIGNAL. Proceedings of the IEEE, 79(9):1270\u20131282, September 1991.","journal-title":"Proceedings of the IEEE"},{"key":"24_CR8","unstructured":"RTCA & EUROCA. DO-178B,ED-12B : Software Consideration in airborne systems and equipment certification, decembre 1992."}],"container-title":["Safe Comp 97"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0997-6_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T01:01:19Z","timestamp":1619830879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0997-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540761914","9781447109976"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0997-6_24","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}