{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:08:44Z","timestamp":1732032524824},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749837"},{"type":"electronic","value":"9783540749844"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74984-4_16","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T05:13:08Z","timestamp":1188537188000},"page":"258-271","source":"Crossref","is-referenced-by-count":2,"title":["OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling"],"prefix":"10.1007","author":[{"given":"Eric","family":"Verhulst","sequence":"first","affiliation":[]},{"given":"Gjalt","family":"de Jong","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"OpenComRTOS architectural design document on: \n                    \n                      http:\/\/www.OpenLicenseSociety.org"},{"key":"16_CR2","unstructured":"TLA+\/TLC home page: \n                    \n                      http:\/\/research.microsoft.com\/users\/lamPort\/tla\/tla.html"},{"key":"16_CR3","unstructured":"INCOSE: \n                    \n                      http:\/\/www.incose.org"},{"key":"16_CR4","unstructured":"Open License Society: \n                    \n                      http:\/\/www.OpenLicenseSociety.org"},{"key":"16_CR5","unstructured":"http:\/\/www.Melexis.com"},{"key":"16_CR6","unstructured":"http:\/\/www.verisoft.de"},{"key":"16_CR7","unstructured":"http:\/\/www.spin.org"},{"key":"16_CR8","unstructured":"http:\/\/www.misra.org"},{"key":"16_CR9","volume-title":"Communicating and Mobile Systems: the Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)"}],"container-title":["Lecture Notes in Computer Science","SDL 2007: Design for Dependable Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74984-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T09:44:36Z","timestamp":1550915076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74984-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540749837","9783540749844"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74984-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}