{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:20:18Z","timestamp":1740028818574,"version":"3.37.3"},"reference-count":27,"publisher":"Institution of Engineering and Technology (IET)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2010,4,8]]},"DOI":"10.1049\/iet-sen.2009.0043","type":"journal-article","created":{"date-parts":[[2010,3,30]],"date-time":"2010-03-30T13:03:43Z","timestamp":1269954223000},"page":"119-133","source":"Crossref","is-referenced-by-count":2,"title":["Design tool to express failure detection protocols"],"prefix":"10.1049","volume":"4","author":[{"given":"V.","family":"De Florio","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, Performance Analysis of Telecommunication Systems Group, University of Antwerp, Middelheimlaan 1, Antwerp, 2020, Belgium"}]},{"given":"C.","family":"Blondia","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, Performance Analysis of Telecommunication Systems Group, University of Antwerp, Middelheimlaan 1, Antwerp, 2020, Belgium"}]}],"member":"265","reference":[{"key":"10.1049\/iet-sen.2009.0043_r1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"Chandra","year":"1996","ISSN":"https:\/\/id.crossref.org\/issn\/0004-5411","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0043_r2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(98)00235-7","volume":"1","author":"Aguilera","year":"1999","ISSN":"https:\/\/id.crossref.org\/issn\/0304-3975","issn-type":"print"},{"year":"2002","author":"Bertier","journal-title":"Proc. Int. Conf. on Dependable Systems and Networks (DSN '02)","key":"10.1049\/iet-sen.2009.0043_r3"},{"key":"10.1049\/iet-sen.2009.0043_r4","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1109\/TC.2002.1004595","volume":"51","author":"Chen","year":"2002","ISSN":"https:\/\/id.crossref.org\/issn\/0018-9340","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0043_r5","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/RELDIS.2004.1353004","author":"Hayashibara","year":"2004","journal-title":"Proc. 23rd IEEE Int. Symp. on Reliable Distributed Systems (SRDS'04)"},{"key":"10.1049\/iet-sen.2009.0043_r6","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4471-1283-9_4","author":"van Renesse","year":"1998","journal-title":"Proc. Middleware\u201998"},{"key":"10.1049\/iet-sen.2009.0043_r7","first-page":"97","volume":"27","author":"Knuth","year":"1984"},{"unstructured":"Hayashibara, N.: \u2018Accrual failure detectors\u2019, 2004, PhD, Japan Advanced Institute of Science and Technology, School of Information Science","key":"10.1049\/iet-sen.2009.0043_r8"},{"key":"10.1049\/iet-sen.2009.0043_r9","first-page":"95","volume":"6","author":"Raynal","year":"1999"},{"key":"10.1049\/iet-sen.2009.0043_r10","doi-asserted-by":"crossref","first-page":"209","DOI":"10.25088\/ComplexSystems.16.3.209","volume":"16","author":"De Florio","year":"2006","ISSN":"https:\/\/id.crossref.org\/issn\/0891-2513","issn-type":"print"},{"unstructured":"\u2018Embedded Parix programmer's guide\u2019, in Parsytec: Parsytec CC Series Hardware Documentation\u2019, (Parsytec GmbH, Aachen, Germany 1996)","key":"10.1049\/iet-sen.2009.0043_r11"},{"unstructured":"http:\/\/www-128.ibm.com\/developerworks\/linux\/library\/l-posix1.html, accessed 19 September 2007","key":"10.1049\/iet-sen.2009.0043_r12"},{"unstructured":"Tanenbaum, A.S.: \u2018Computer networks\u2019, 3rd(Prentice-Hall, London 1996)","key":"10.1049\/iet-sen.2009.0043_r13"},{"unstructured":"Knuth, D.E., and Levy, S.: \u2018The CWEB system of structured documentation\u2019, 3rd(Addison\u2013Wesley, Reading, MA 1993)","key":"10.1049\/iet-sen.2009.0043_r14"},{"doi-asserted-by":"crossref","unstructured":"De Florio, V.: \u2018Application-layer fault-tolerance protocols\u2019, (IGI-Global, Hershey, PA 2009)","key":"10.1049\/iet-sen.2009.0043_r15","DOI":"10.4018\/978-1-60566-182-7"},{"key":"10.1049\/iet-sen.2009.0043_r16","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1109\/EMPDP.2000.823427","author":"Botti","year":"1999","journal-title":"Proc. Eighth Euromicro Workshop on Parallel and Distributed Processing (Euro-PDP'00)"},{"key":"10.1049\/iet-sen.2009.0043_r17","first-page":"9","author":"De Florio","year":"2000","journal-title":"Proc. Seventh Annual IEEE Int. Conf. Workshop on the Engineering of Computer Based Systems (ECBS)"},{"year":"2007","author":"De Florio","journal-title":"Proc. Third Int. Conf. on Availability, Reliability and Security (ARES 2008)","key":"10.1049\/iet-sen.2009.0043_r18"},{"unstructured":"http:\/\/www.esrin.esa.it\/htdocs\/tidc\/Press\/Press96\/ariane5rep.html, accessed April 2009","key":"10.1049\/iet-sen.2009.0043_r19"},{"key":"10.1049\/iet-sen.2009.0043_r20","first-page":"191","volume":"145","author":"Lyu","year":"1998"},{"unstructured":"Randell, B., and Xu, J.: \u2018The evolution of the recovery block concept\u2019, Lyu, M., \u2018Software fault tolerance\u2019(John Wiley & Sons, New York 1995),Ch. 1 p. 1\u201321","key":"10.1049\/iet-sen.2009.0043_r21"},{"unstructured":"Aviz\u030cienis, A.: \u2018The methodology ofN-version programming\u2019, Lyu, M., \u2018Software fault tolerance\u2019(John Wiley & Sons, New York 1995),Ch. 2 p. 23\u201346","key":"10.1049\/iet-sen.2009.0043_r22"},{"key":"10.1049\/iet-sen.2009.0043_r23","first-page":"642","volume":"10","author":"Cristian","year":"1999"},{"unstructured":"http:\/\/www.eclipse.org\/aspectj, accessed October 2009","key":"10.1049\/iet-sen.2009.0043_r24"},{"unstructured":"Holzmann, G.J.: \u2018Design and validation of computer protocols\u2019, (Prentice-Hall 1991)","key":"10.1049\/iet-sen.2009.0043_r25"},{"key":"10.1049\/iet-sen.2009.0043_r26","first-page":"667","volume":"21","author":"Hoare","year":"1978"},{"key":"10.1049\/iet-sen.2009.0043_r27","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BFb0055359","author":"Bos\u030cnac\u030cki","year":"1998","journal-title":"Proc. formal techniques in real-time and fault-tolerant systems (FTRTFT'98)"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen.2009.0043?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:37:17Z","timestamp":1739993837000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen.2009.0043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,8]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4,8]]}},"alternative-id":["10.1049\/iet-sen.2009.0043"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen.2009.0043","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2010,4,8]]}}}