{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:24:00Z","timestamp":1725495840572},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540768463"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76848-7_34","type":"book-chapter","created":{"date-parts":[[2007,11,20]],"date-time":"2007-11-20T15:23:17Z","timestamp":1195572197000},"page":"471-488","source":"Crossref","is-referenced-by-count":1,"title":["Formal Verification of a Group Membership Protocol Using Model Checking"],"prefix":"10.1007","author":[{"given":"Val\u00e9rio","family":"Rosset","sequence":"first","affiliation":[]},{"given":"Pedro F.","family":"Souto","sequence":"additional","affiliation":[]},{"given":"Francisco","family":"Vasques","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/3-540-45449-7_22","volume-title":"Embedded Software","author":"J.M. Rushby","year":"2001","unstructured":"Rushby, J.M.: Bus Architectures for Safety-Critical Embedded Systems. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 306\u2013323. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Makowitz, R., Temple, C.: FlexRay - A Communication Network for Automotive Control Systems. In: WFCS. 6th IEEE International Workshop on Factory Communication Systems (2006)","key":"34_CR2","DOI":"10.1109\/WFCS.2006.1704153"},{"doi-asserted-by":"crossref","unstructured":"Rosset, V., Souto, P., Vasques, F.: A Group Membership Protocol for Communication Systems with both Static and Dynamic Scheduling. In: WFCS. 6th IEEE International Workshop on Factory Communication Systems, Torino, Italy, pp. 28\u201330 (2006)","key":"34_CR3","DOI":"10.1109\/WFCS.2006.1704119"},{"unstructured":"Ip, C., Dill, D.: Better Verification through Symmetry. In: International Conference on Computer Hardware Description Languages, pp. 87\u2013100 (April 1993)","key":"34_CR4"},{"issue":"1","key":"34_CR5","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TDSC.2006.13","volume":"3","author":"S. Schiper","year":"2006","unstructured":"Schiper, S., Toueg, A.: From Set Membership to Group Membership: A Separation of Concerns. IEEE Transactions on Dependable and Secure Computing\u00a03(1), 2\u201312 (2006)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III","author":"J. Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Uppaal \u2014 a Tool Suite for Automatic Verification of Real\u2013Time Systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) Hybrid Systems III. LNCS, vol.\u00a01066, pp. 232\u2013243. Springer, Heidelberg (1996)"},{"key":"34_CR7","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-65193-4_20","volume-title":"Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems","author":"S. Yovine","year":"1998","unstructured":"Yovine, S.: Model Checking Timed Automata. In: Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, pp. 114\u2013152. Springer, London, UK (1998)"},{"key":"34_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol.\u00a03185, Springer, Heidelberg (2004)"},{"key":"34_CR9","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1002\/stvr.258","volume":"12","author":"C. Bernadeschi","year":"2002","unstructured":"Bernadeschi, C., Fantechi, A., Gnesi, S.: Model checking fault tolerant systems. Software Testing, Verification and Reliability\u00a012, 251\u2013275 (2002)","journal-title":"Software Testing, Verification and Reliability"},{"key":"34_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"M. Hendriks","year":"2004","unstructured":"Hendriks, M., Behrmann, G., Larsen, K.G., Niebert, P., Vandraager, F.: Adding Symmetry Reduction to Uppaal. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76848-7_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:41:56Z","timestamp":1619520116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76848-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540768463"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76848-7_34","relation":{},"subject":[]}}