{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:41:17Z","timestamp":1725514877553},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682356"},{"type":"electronic","value":"9783540682370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68237-0_29","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T01:36:00Z","timestamp":1212543360000},"page":"411-418","source":"Crossref","is-referenced-by-count":4,"title":["An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS"],"prefix":"10.1007","author":[{"given":"Eric","family":"Verhulst","sequence":"first","affiliation":[]},{"given":"Gjalt","family":"de Jong","sequence":"additional","affiliation":[]},{"given":"Vitaliy","family":"Mezhuyev","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"OpenComRTOS architectural design document on, \n                    \n                      http:\/\/www.OpenLicenseSociety.org"},{"key":"29_CR2","unstructured":"TLA+\/TLC home page on, \n                    \n                      http:\/\/research.microsoft.com\/users\/lamport"},{"key":"29_CR3","unstructured":"INCOSE, \n                    \n                      http:\/\/www.incose.org"},{"key":"29_CR4","unstructured":"http:\/\/www.OpenLicenseSociety.org"},{"key":"29_CR5","unstructured":"http:\/\/www.Melexis.com"},{"key":"29_CR6","unstructured":"http:\/\/www.verisoft.de"},{"key":"29_CR7","unstructured":"http:\/\/www.spin.org"},{"key":"29_CR8","unstructured":"http:\/\/www.misra.org"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-36377-7_5","volume-title":"The Essence of Computation","author":"B. Blanchet","year":"2002","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. In: Mogensen, T.\u00c6., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol.\u00a02566, pp. 85\u2013108. Springer, Heidelberg (2002), \n                    \n                      http:\/\/www.astree.ens.fr\/"},{"key":"29_CR10","series-title":"Lecture Notes in Computer Science","first-page":"168","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C. Edmund","year":"2004","unstructured":"Edmund, C., Daniel, K., Flavio, L.: A Tool for Checking ANSI-C Programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 168\u2013176. Springer, Heidelberg (2004), \n                    \n                      http:\/\/www.cprover.org\/cbmc\/"},{"key":"29_CR11","volume-title":"Formal Models of Operating System Kernels","author":"I.D. Craig","year":"2007","unstructured":"Craig, I.D.: Formal Models of Operating System Kernels. Springer, Heidelberg (2007)"},{"key":"29_CR12","volume-title":"Formal Refinement for Operating System Kernels","author":"I.D. Craig","year":"2007","unstructured":"Craig, I.D.: Formal Refinement for Operating System Kernels. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","FM 2008: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68237-0_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T05:47:32Z","timestamp":1538804852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68237-0_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540682356","9783540682370"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68237-0_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}