{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:05:05Z","timestamp":1725624305712},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245589"},{"type":"electronic","value":"9783642245596"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24559-6_30","type":"book-chapter","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T15:13:17Z","timestamp":1319209997000},"page":"437-455","source":"Crossref","is-referenced-by-count":8,"title":["From Requirements to Development: Methodology and Example"],"prefix":"10.1007","author":[{"given":"Wen","family":"Su","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Raymond","family":"Abrial","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Runlei","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J.R. Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"30_CR2","unstructured":"Rodin Platform, http:\/\/www.event-b.org"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Back, R.J.R., Sere, K.: Superposition Refinement of Reactive Systems. Formal Aspect of Computing (1995)","DOI":"10.1007\/BF01214918"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Back, R.J.R., Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM Transaction on Programming languages and Systems (1988)","DOI":"10.1145\/48022.48023"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Butler, M.J.: Stepwise Refinement of Communication Systems. Science of Computer Programming (1996)","DOI":"10.1016\/0167-6423(96)81173-7"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Proof of Correctness of Data Representation. Acta Informatica (1972)","DOI":"10.1007\/BF00289507"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Leuschel, M., Butler, M.: ProB: An Automated Analysis Toolset for the B Method. International Journal on Software Tools for Technology Transfer (2008)","DOI":"10.1007\/s10009-007-0063-9"},{"key":"30_CR8","unstructured":"Hoang, T.S., Hudon, S.: Defining Control Systems with Some Fragile Environment. Working Report 723 ETH (2011)"},{"key":"30_CR9","unstructured":"Butler, M.J.: Towards a Cookbook for Modelling and Refinement of Control Problems. Working paper (2009), http:\/\/deploy-eprints.ecs.soton.ac.uk\/108\/"},{"key":"30_CR10","unstructured":"Yeganefard, S., Butler, M.J., Rezazadeh, A.: Evaluation of a guideline by formal modelling of cruise control system in Event-B. In: Proceedings of NFM (2010)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24559-6_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,12]],"date-time":"2021-12-12T05:03:43Z","timestamp":1639285423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24559-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245589","9783642245596"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24559-6_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}