{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:49Z","timestamp":1725490249708},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665878"},{"type":"electronic","value":"9783540481195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48119-2_6","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T01:23:00Z","timestamp":1188350580000},"page":"57-75","source":"Crossref","is-referenced-by-count":1,"title":["Formal Design for Automatic Coding and Testing: The ESSI\/SPACES Project"],"prefix":"10.1007","author":[{"given":"Eric","family":"Conquet","sequence":"first","affiliation":[]},{"given":"Jean-Luc","family":"Marty","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"6_CR1","unstructured":"E. Conquet, Ph Humbert, V. Debus, J. Sifakis-Data Management System Design Validation Final report-09\/96-ESA contract N\u25cb 9558\/91\/NL\/JG,WO N\u25cb20."},{"key":"6_CR2","unstructured":"European System and Software Initiative-web site: \n                    http:\/\/www.cordis.lu\/esprit\/src\/stessi.htm\n                    \n                  ."},{"key":"6_CR3","unstructured":"Matra Marconi Space-SPACES, Software Production through Automatic Coding for Embedded Systems. Project Programme V2.1-08\/98."},{"key":"6_CR4","unstructured":"ITU-T,Recommendation Z.100, Specification and Description language (SDL), COM X-R 17-E, Geneva, March 1992."},{"key":"6_CR5","unstructured":"Systems Engineering Using SDL-92, A. Olsen, O. F\u00e6rgemand, B. M\u00f8ller-Pedersen, R. Reed and J. R. W. Smith. North-Holland 1994, ISBN 0 444 898727."},{"key":"6_CR6","unstructured":"SDL-formal object-oriented language for communicating systems, J. Ellsberger, D. Hogrefe and A. Sarma. Prentice Hall 1997, ISBN0-13-621384-7."},{"key":"6_CR7","unstructured":"VERILOG, ObjectGeode method guidelines, version 1.0-VERILOG-1996."},{"key":"6_CR8","unstructured":"S. Ayache, E. Conquet, Ph. Humbert-Specification and early validation of autonomous spacecraft fault tolerance using SDL-DASIA 96-Roma, May 1996"},{"key":"6_CR9","unstructured":"E. Conquet, G. Touet-\u00ab Mod\u00e9lisation et validation d\u2019un logiciel critique en phase de conception, une exp\u00e9rience d\u2019utilisation de LDS\/ObjectGeode \u00bb-EC\/NT\/LB\/97.092-01\/98."},{"key":"6_CR10","unstructured":"UML Notation Guide version 1.1, Rational Corp, et.al., OMG, Sept. 1997"},{"key":"6_CR11","unstructured":"Doing Hard Time, Bruce Powel Douglass, Addison Wesley, 1998, ISBN 0-201-49837-5"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48119-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T06:12:23Z","timestamp":1550902343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48119-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665878","9783540481195"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-48119-2_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}