{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:56:25Z","timestamp":1784300185224,"version":"3.55.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/sies.2012.6356577","type":"proceedings-article","created":{"date-parts":[[2012,11,30]],"date-time":"2012-11-30T21:14:21Z","timestamp":1354310061000},"page":"120-129","source":"Crossref","is-referenced-by-count":1,"title":["On voting strategies for loosely synchronized dependable real-time systems"],"prefix":"10.1109","author":[{"given":"Huseyin","family":"Aysan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Radu","family":"Dobrin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sasikumar","family":"Punnekkat","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Iain","family":"Bate","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1992.243562"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/COMSWA.2006.1665204"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1147\/rd.62.0200"},{"key":"23","author":"rushby","year":"1993","journal-title":"Formal Methods and the Certification of Critical Systems"},{"key":"18","first-page":"43","article-title":"Probabilistic logics and the synthesis of reliable organisms from unreliable components","author":"neuman","year":"1956","journal-title":"Automata Studies"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/24.24574"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2004.832819"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1989.105617"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/5.259424"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/FTCSH.1995.532603"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2003.1193942"},{"key":"12","author":"lala","year":"1987","journal-title":"An Analysis of Redundancy Management Algorithms for Asynchronous Fault Tolerant Control Systems"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2004.1284053"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1990.93959"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/71.774908"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2008.28"},{"key":"1","author":"avizienis","year":"2001","journal-title":"Fundamental Concepts of Dependability"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.1997.617370"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2005.18"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/FTCSH.1995.532621"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.41339"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/FTDCS.1990.138293"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1990.93957"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.1998.711830"}],"event":{"name":"2012 7th IEEE International Symposium on Industrial Embedded Systems (SIES)","location":"Karlsruhe, Germany","start":{"date-parts":[[2012,6,20]]},"end":{"date-parts":[[2012,6,22]]}},"container-title":["7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6339458\/6356563\/06356577.pdf?arnumber=6356577","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:57:12Z","timestamp":1490115432000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6356577\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/sies.2012.6356577","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}