{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T04:14:29Z","timestamp":1744172069850,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331756"},{"type":"electronic","value":"9783642331763"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33176-3_2","type":"book-chapter","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T08:53:23Z","timestamp":1347440003000},"page":"16-31","source":"Crossref","is-referenced-by-count":4,"title":["A Case Study in Formal Development of a Fault Tolerant Multi-robotic System"],"prefix":"10.1007","author":[{"given":"Inna","family":"Pereverzeva","sequence":"first","affiliation":[]},{"given":"Elena","family":"Troubitsyna","sequence":"additional","affiliation":[]},{"given":"Linas","family":"Laibinis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (2005)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-00867-2_6","volume-title":"Methods, Models and Tools for Fault Tolerance","author":"E. Ball","year":"2009","unstructured":"Ball, E., Butler, M.: Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds.) Methods, Models and Tools for Fault Tolerance. LNCS, vol.\u00a05454, pp. 104\u2013129. Springer, Heidelberg (2009)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: RE, pp. 249\u2013263 (2001)","DOI":"10.1109\/ISRE.2001.948567"},{"issue":"2","key":"2_CR5","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/s00766-004-0189-1","volume":"9","author":"R.D. Landtsheer","year":"2004","unstructured":"Landtsheer, R.D., Letier, E., van Lamsweerde, A.: Deriving tabular event-based specifications from goal-oriented requirements models. Requirements Engineering\u00a09(2), 104\u2013120 (2004)","journal-title":"Requirements Engineering"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Matoussi, A., Gervais, F., Laleau, R.: A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. In: 16th International Conference on Engineering of Complex Computer Systems. IEEE (2011)","DOI":"10.1109\/ICECCS.2011.21"},{"key":"2_CR7","unstructured":"Ponsard, C., Dallons, G., Philippe, M.: From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems. ERCIM News\u00a0(75), 22\u201323 (2008)"},{"key":"2_CR8","unstructured":"Rodin: Event-B Platform, http:\/\/www.event-b.org\/"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-24721-0_2","volume-title":"Fundamental Approaches to Software Engineering","author":"G.-C. Roman","year":"2004","unstructured":"Roman, G.-C., Julien, C., Payton, J.: A Formal Treatment of Context-Awareness. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 12\u201336. Springer, Heidelberg (2004)"},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/j.tcs.2007.02.025","volume":"376","author":"G.-C. Roman","year":"2007","unstructured":"Roman, G.-C., Julien, C., Payton, J.: Modeling adaptive behaviors in Context UNITY. Theoretical Computure Science,\u00a0376, 185\u2013204 (2007)","journal-title":"Theoretical Computure Science"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Roman, G.-C., McCann, P., Plun, J.: Mobile UNITY: Reasoning and Specification in Mobile Computing. ACM Transactions of Software Engineering and Methodology (1997)","DOI":"10.1145\/258077.258079"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33176-3_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T09:28:52Z","timestamp":1744104532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33176-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331756","9783642331763"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33176-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}