{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:52:48Z","timestamp":1725454368176},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336744"},{"type":"electronic","value":"9783642336751"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33675-1_8","type":"book-chapter","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T16:33:04Z","timestamp":1347294784000},"page":"92-105","source":"Crossref","is-referenced-by-count":0,"title":["An Unified Meta-model for Trustworthy Systems Engineering"],"prefix":"10.1007","author":[{"given":"Eric","family":"Verhulst","sequence":"first","affiliation":[]},{"given":"Bernhard H. C.","family":"Sputh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Object Management Group: UML, \n                    \n                      http:\/\/www.uml.org\/"},{"key":"8_CR2","unstructured":"OMG Systems Modeling Language, \n                    \n                      http:\/\/www.omgsysml.org\/"},{"key":"8_CR3","series-title":"Software Engineering for Reliable Embedded Systems","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9736-4","volume-title":"Formal Development of a Network-Centric RTOS","author":"E. Verhulst","year":"2011","unstructured":"Verhulst, E., Boute, R.T., Faria, J.M.S., Sputh, B.H.C., Mezhuyev, V.: Formal Development of a Network-Centric RTOS. Software Engineering for Reliable Embedded Systems. Springer, Amsterdam (2011)"},{"key":"8_CR4","unstructured":"Trustworthy Systems Engineering with GoedelWorks. Booklet published by Altreonic NV (January 2012), \n                    \n                      http:\/\/www.altreonic.com\/sites\/default\/files\/Systems%20Engineering%20with%20GoedelWorks.pdf"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Mezhuyev, V., Sputh, B., Verhulst, E.: Interacting entities modelling methodology for robust systems design. In: 2010 Second International Conference on Advances in System Testing and Validation Lifecycle (VALID), pp. 75\u201380 (August 2010)","DOI":"10.1109\/VALID.2010.24"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Espinoza, H., Ruiz, A., Sabetzadeh, M., Panaroni, P.: Challenges for an open and evolutionary approach to safety assurance and certification of safety-critical systems. In: 2011 First International Workshop on Software Certification (WoSoCER), November 29-December 2, pp. 1\u20136 (2011)","DOI":"10.1109\/WoSoCER.2011.15"},{"key":"8_CR7","unstructured":"Automotive Safety Integrity Level Public Results (2011), \n                    \n                      http:\/\/www.flandersdrive.be\/_js\/plugin\/ckfinder\/userfiles\/files\/ASIL%20public%20presentation.pdf"},{"key":"8_CR8","unstructured":"Software Considerations in Airborne Systems and Equipment Certification (2012), \n                    \n                      http:\/\/en.wikipedia.org\/wiki\/DO-178C"},{"key":"8_CR9","unstructured":"Automotive functional safety (2012), \n                    \n                      http:\/\/en.wikipedia.org\/wiki\/ISO_26262"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33675-1_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:18:39Z","timestamp":1620130719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33675-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336744","9783642336751"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33675-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}