{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:16:18Z","timestamp":1742933778274,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642170706"},{"type":"electronic","value":"9783642170713"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17071-3_4","type":"book-chapter","created":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T07:12:58Z","timestamp":1289459578000},"page":"70-88","source":"Crossref","is-referenced-by-count":10,"title":["Patterns for Refinement Automation"],"prefix":"10.1007","author":[{"given":"Alexei","family":"Iliasov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Troubitsyna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linas","family":"Laibinis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"RODIN Event-B Platform (2007), http:\/\/rodin-b-sharp.sourceforge.net\/"},{"key":"4_CR2","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.R. Abrial","year":"2005","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)"},{"key":"4_CR3","first-page":"169","volume-title":"Proceedings of 1st Conference on the B Method","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: Extending B without Changing it. In: Proceedings of 1st Conference on the B Method, Nantes, France, pp. 169\u2013191. Springer, Heidelberg (1996)"},{"issue":"3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01214918","volume":"8","author":"R. Back","year":"1996","unstructured":"Back, R., Sere, K.: Superposition refinement of reactive systems. Formal Aspects of Computing\u00a08(3), 1\u201323 (1996)","journal-title":"Formal Aspects of Computing"},{"key":"4_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R. Back","year":"1998","unstructured":"Back, R., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)"},{"key":"4_CR6","first-page":"115","volume-title":"Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University","author":"R.-J. Back","year":"1989","unstructured":"Back, R.-J., Sere, K.: Stepwise Refinement of Action Systems. In: Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University, London, UK, pp. 115\u2013138. Springer, Heidelberg (1989)"},{"key":"4_CR7","unstructured":"Burdy, L., Meynadier, J.-M.: Automatic Refinement. In: Workshop on Applying B in an industrial context: Tools, Lessons and Techniques - Toulouse, FM 1999 (1999)"},{"key":"4_CR8","unstructured":"Butler, M., Grundy, J., L\u00e5ngbacka, T., Ruk\u0161enas, R., von Wright, J.: The Refinement Calculator: Proof Support for Program Refinement. In: Proc. of Formal Methods Pacific (1997)"},{"key":"4_CR9","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"4_CR10","volume-title":"Design Patterns","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1995) ISBN 0-201-63361-2"},{"issue":"4","key":"4_CR11","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1093\/comjnl\/39.4.291","volume":"39","author":"J. Grundy","year":"1996","unstructured":"Grundy, J.: Transformational Hierarchical Reasoning. The Computer Journal\u00a039(4), 291\u2013302 (1996)","journal-title":"The Computer Journal"},{"issue":"10","key":"4_CR12","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A. Hoare","year":"1969","unstructured":"Hoare, C.A.: An Axiomatic Basis for Computer Programming. Communications of the ACM\u00a012(10), 576\u2013583 (1969)","journal-title":"Communications of the ACM"},{"key":"4_CR13","unstructured":"Iliasov, A.: Finer Plugin (2008), http:\/\/finer.iliasov.org"},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1109\/ISORC.2007.46","volume-title":"Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007","author":"A. Iliasov","year":"2007","unstructured":"Iliasov, A., Romanovsky, A., Arief, B., Laibinis, L., Troubitsyna, E.: On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. In: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007, Washington, DC, USA, pp. 141\u2013145. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Lyons, R.E., Vanderkulk, W.: The Use of Triple-Modular Redundancy to Improve Computer Reliability. IBM Journal, 200\u2013209 (April 1962)","DOI":"10.1147\/rd.62.0200"},{"key":"4_CR16","volume-title":"Programming From Specifications","author":"C. Morgan","year":"1994","unstructured":"Morgan, C.: Programming From Specifications. Prentice Hall International (UK) Ltd., Englewood Cliffs (1994)"},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/s00165-003-0003-8","volume":"15","author":"M. Oliveira","year":"2003","unstructured":"Oliveira, M., Cavalcanti, A., Woodcock, J.: Arcangel: a tactic language for refinement. Formal Asp. Comput.\u00a015(1), 28\u201347 (2003)","journal-title":"Formal Asp. Comput."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-642-10373-5_24","volume-title":"Formal Methods and Software Engineering","author":"R. Silva","year":"2009","unstructured":"Silva, R., Butler, M.: Supporting Reuse of Event-B Developments through Generic Instantiation. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 466\u2013484. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17071-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T01:56:48Z","timestamp":1559786208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17071-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642170706","9783642170713"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17071-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}