{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:26:35Z","timestamp":1743103595141,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319028118"},{"type":"electronic","value":"9783319028125"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-02812-5_18","type":"book-chapter","created":{"date-parts":[[2013,10,4]],"date-time":"2013-10-04T09:33:23Z","timestamp":1380879203000},"page":"247-256","source":"Crossref","is-referenced-by-count":1,"title":["Early Stage Verification and Validation of Cyber-Physical Systems through Requirements Driven Probabilistic Certificate of Correctness Metric"],"prefix":"10.1007","author":[{"given":"Alex","family":"Van der Velden","sequence":"first","affiliation":[]},{"given":"David","family":"Fox","sequence":"additional","affiliation":[]},{"given":"Jeff","family":"Haan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"AbaqusTM, computer software (2012), \n                  www.3ds.com"},{"key":"18_CR2","unstructured":"Ahlvin, R.B., Haley, P.W.: NATO Reference Mobility Model, Edition II, NRMM II User\u2019s Guide, Technical report GL-92-19, (AD 170301) US Army Engineer Waterways Experiment Station, Vicksburg, MS (1992)"},{"key":"18_CR3","unstructured":"ControlBuildTM 2012, computer software (2012), \n                  www.3ds.com"},{"key":"18_CR4","unstructured":"DymolaTM 2012, computer software (2012), \n                  www.3ds.com"},{"key":"18_CR5","unstructured":"EASA: European Aviation Safety Agency. Certification specifications for Very Light Aeroplanes. In: CS-VLA 2009 (2009)"},{"key":"18_CR6","unstructured":"IsightTM 5.7, computer software (2012), \n                  www.3ds.com"},{"key":"18_CR7","unstructured":"Light Utility Vehicle Wheeled the Standard Military Pattern Fleet, Statement of Operational Requirements, Department of National Defense, Canada, Project File 2349 (March 2000), \n                  http:\/\/www.vcds-vcemd.forces.gc.ca\/boi-cde\/jvm-emv\/doc\/luvwsor-ebouvir.pdf"},{"key":"18_CR8","unstructured":"MIL-STD-499A Engineering Management, United States Department of Defense (May 1974)"},{"key":"18_CR9","unstructured":"Modelisar Consortium \u201cFunctional Mock-up Interface for Co-simulation\u201d version 1 (October 2010), \n                  www.functional-mockup-interface.org"},{"key":"18_CR10","unstructured":"NATO STANAG 4158: Guidelines for Classifying Incidents for Reliability Estimation of Tracked and Wheeled Vehicles (November 1982)"},{"key":"18_CR11","unstructured":"Shaping the Future of the Canadian Forces: A Strategy for 2020, \n                  http:\/\/www.cds.forces.gc.ca\/str\/index-eng.asp"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"1127","DOI":"10.2514\/2.4664","volume":"23","author":"T.W. Strganac","year":"2000","unstructured":"Strganac, T.W., Ko, J., Thompson, D.E., Kurdila, A.J.: Identification and control cycle oscillations in aeroelastic system. Journal of Guidance, Control and Dynamics\u00a023, 1127\u20131133 (2000)","journal-title":"Journal of Guidance, Control and Dynamics"},{"key":"18_CR13","unstructured":"Van der Velden, A., Koch, P., Devanathan, S., Haan, J., Naehring, D., Fox, D.: Probabilistic Certificate of Correctness for Cyber Physical Systems. In: ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Chicago, IL, USA, August 12-15, DETC2012-70135 (2012)"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02812-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T16:13:25Z","timestamp":1676823205000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-02812-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319028118","9783319028125"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02812-5_18","relation":{},"subject":[],"published":{"date-parts":[[2014]]}}}