{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:18:09Z","timestamp":1725740289533},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331695"},{"type":"electronic","value":"9783642331701"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-33170-1_9","type":"book-chapter","created":{"date-parts":[[2013,7,9]],"date-time":"2013-07-09T04:56:29Z","timestamp":1373345789000},"page":"107-122","source":"Crossref","is-referenced-by-count":0,"title":["Experience of Deploying Event-B in Industrial Microprocessor Development"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Wright","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kerstin","family":"Eder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"9_CR1","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1002\/spe.1016","volume":"41","author":"J. Bendisposto","year":"2011","unstructured":"Bendisposto, J., Fritz, F., Jastram, M., Leuschel, M., Weigelt, I.: Developing Camille: A text editor for Rodin. Softw. Pract. Exp. 41(2), 189\u2013198 (2011)","journal-title":"Softw. Pract. Exp."},{"key":"9_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0302-6","volume-title":"Writing Testbenches: Functional Verification of HDL Models","author":"J. Bergeron","year":"2003","unstructured":"Bergeron, J.: Writing Testbenches: Functional Verification of HDL Models, 2nd edn. Kluwer Academic, Norwell (2003)","edition":"2"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"20:1","DOI":"10.1145\/1352582.1352588","volume":"9","author":"H. Chockler","year":"2008","unstructured":"Chockler, H., Halpern, J.Y., Kupferman, O.: What causes a system to satisfy a specification? ACM Trans. Comput. Log. 9, 20:1\u201320:26 (2008)","journal-title":"ACM Trans. Comput. Log."},{"key":"9_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4","volume-title":"Assertion-Based Design","author":"H.D. Foster","year":"2003","unstructured":"Foster, H.D., Krolnik, A.C., Lacey, D.J.: Assertion-Based Design. Springer, Berlin (2003)"},{"key":"9_CR5","volume-title":"Computer Architecture: A Quantitative Approach","author":"J. Hennessy","year":"2003","unstructured":"Hennessy, J., Patterson, D.: Computer Architecture: A Quantitative Approach. Morgan Kaufmann, San Mateo (2003)"},{"key":"9_CR6","volume-title":"XMOS XS1 Architecture","author":"D. May","year":"2008","unstructured":"May, D.: XMOS XS1 Architecture. XMOS Ltd. (2008)"},{"key":"9_CR7","unstructured":"Roder, J.: Relevance filters for Event-B. ETH Zurich (2010)"},{"key":"9_CR8","volume-title":"Programming XC on XMOS Devices","author":"D. Watt","year":"2009","unstructured":"Watt, D.: Programming XC on XMOS Devices. XMOS Ltd. (2009)"},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s00165-009-0142-7","volume":"23","author":"S. Wright","year":"2010","unstructured":"Wright, S., Eder, K.: Using Event-B to construct instruction set architectures. Form. Asp. Comput. 23(1), 73\u201389 (2010)","journal-title":"Form. Asp. Comput."},{"key":"9_CR10","unstructured":"Wright, S.: Automatic generation of C from Event-B. In: Workshop on Integration of Model-based Formal Methods and Tools (2009)"}],"container-title":["Industrial Deployment of System Engineering Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33170-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T10:54:24Z","timestamp":1557917664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33170-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642331695","9783642331701"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33170-1_9","relation":{},"subject":[],"published":{"date-parts":[[2013]]}}}