{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:14:27Z","timestamp":1725491667191},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752936"},{"type":"electronic","value":"9783540752943"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75294-3_12","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T14:52:08Z","timestamp":1189522328000},"page":"160-169","source":"Crossref","is-referenced-by-count":2,"title":["Failure Boundedness in Discrete Applications"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o","family":"Muranho","sequence":"first","affiliation":[]},{"given":"Paula","family":"Prata","sequence":"additional","affiliation":[]},{"given":"M\u00e1rio","family":"Zenha-Rela","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o Gabriel","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/800053.801913","volume-title":"7th Annual Symposium on Computer Architecture","author":"W.M. Zuberek","year":"1980","unstructured":"Zuberek, W.M.: Timed Petri nets and preliminary performance evaluation. In: 7th Annual Symposium on Computer Architecture, pp. 88\u201396. ACM Press, New York (1980)"},{"key":"12_CR2","first-page":"246","volume-title":"18th Fault-Tolerant Computer Symposium","author":"D. Powell","year":"1988","unstructured":"Powell, D., Ver\u00edsimo, P., Bonn, G., Waeselynck, F., Seaton, D.: The Delta-4 Approach to Dependability in Open Distributed Computing Systems. In: 18th Fault-Tolerant Computer Symposium, pp. 246\u2013251. IEEE Press, New York (1988)"},{"key":"12_CR3","first-page":"4","volume-title":"25th Fault-Tolerant Computer Symposium","author":"A. Avizienis","year":"1995","unstructured":"Avizienis, A.: Building Dependable Systems: How to Keep Up with Complexity. In: 25th Fault-Tolerant Computer Symposium, pp. 4\u201314. IEEE Press, New York (1995)"},{"issue":"4","key":"12_CR4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/MC.1997.585153","volume":"30","author":"A.K. Somani","year":"1997","unstructured":"Somani, A.K., Vaidya, N.H.: Understanding Fault Tolerance and Reliability. IEEE Computer\u00a030(4), 45\u201350 (1997)","journal-title":"IEEE Computer"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/DSN.2001.941416","volume-title":"International Conference on Dependable Systems and Networks","author":"J.C. Cunha","year":"2001","unstructured":"Cunha, J.C., Maia, R., Rela, M.Z., Silva, J.G.: A Study on Failure Models in Feedback Control Systems. In: International Conference on Dependable Systems and Networks, pp. 314\u2013323. IEEE Press, New York (2001)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1109\/DSN.2001.941419","volume-title":"International Conference on Dependable Systems and Networks","author":"J. Vinter","year":"2001","unstructured":"Vinter, J., Aidemark, J., Folkesson, P., Karlsson, J.: Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recovery. In: International Conference on Dependable Systems and Networks, pp. 347\u2013356. IEEE Press, New York (2001)"},{"issue":"5","key":"12_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/MM.1987.305014","volume":"7","author":"H.D. Kirrman","year":"1987","unstructured":"Kirrman, H.D.: Fault Tolerance in Process Control: An overview and examples of European Products. IEEE Micro\u00a07(5), 27\u201350 (1987)","journal-title":"IEEE Micro"},{"key":"12_CR8","first-page":"26","volume-title":"28th Fault-Tolerant Computer Symposium","author":"J.G. Silva","year":"1998","unstructured":"Silva, J.G., Prata, P., Rela, M.Z., Madeira, H.: Practical Issues in the Use of ABFT and a New Failure Model. In: 28th Fault-Tolerant Computer Symposium, pp. 26\u201335. IEEE Press, New York (1998)"},{"issue":"10","key":"12_CR9","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1590\/S0104-65002005000100003","volume":"3","author":"P. Prata","year":"2005","unstructured":"Prata, P., Rela, M.Z., Madeira, H., Silva, J.G.: Robust Assertions and Fail-Bounded Behavior. Journal of the Brazilian Computer Society\u00a03(10), 20\u201332 (2005)","journal-title":"Journal of the Brazilian Computer Society"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-48254-7_15","volume-title":"EDCC 1999","author":"J.C. Cunha","year":"1999","unstructured":"Cunha, J.C., Rela, M.Z., Silva, J.G.: Can Software-Implemented Fault-Injection be used on Real-Time Systems? In: Hlavicka, J., Maehle, E., Pataricza, A. (eds.) EDCC 1999. LNCS, vol.\u00a01667, pp. 209\u2013221. Springer, Heidelberg (1999)"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/32.666826","volume":"24","author":"J. Carreira","year":"1998","unstructured":"Carreira, J., Madeira, H., Silva, J.G.: Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers. IEEE Trans. on Software Engineering\u00a024(2), 125\u2013135 (1998)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1109\/FTCS.1994.315625","volume-title":"24th Fault-Tolerant Computer Symposium","author":"H. Madeira","year":"1994","unstructured":"Madeira, H., Silva, J.G.: Experimental evaluation of the fail-silent behavior in computers without error masking. In: 24th Fault-Tolerant Computer Symposium, pp. 350\u2013359. IEEE Press, New York (1994)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/3-540-36080-8_13","volume-title":"EDCC 2002","author":"J.C. Cunha","year":"2002","unstructured":"Cunha, J.C., Correia, A., Henriques, J., Rela, M.Z.: Reset-Driven Fault Tolerance. In: Bondavalli, A., Th\u00e9venod-Fosse, P. (eds.) EDCC 2002. LNCS, vol.\u00a02485, pp. 102\u2013120. Springer, Heidelberg (2002)"},{"issue":"4","key":"12_CR14","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1017\/S0140525X00044903","volume":"8","author":"B. Libet","year":"1985","unstructured":"Libet, B.: Unconscious cerebral initiative and the role of conscious will in voluntary action. Behavioral and brain sciences\u00a08(4), 529\u2013566 (1985)","journal-title":"Behavioral and brain sciences"},{"key":"12_CR15","unstructured":"ITS National Architecture, Federal Highway Administration, Technical report, US Department of Transportation (1998)"},{"key":"12_CR16","unstructured":"SMX\u00ae Simple Multitasking Executive. \n                    \n                      http:\/\/www.smxinfo.com"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75294-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:59:06Z","timestamp":1619521146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75294-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752936","9783540752943"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75294-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}