{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:14:54Z","timestamp":1737090894958,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441656"},{"type":"electronic","value":"9783540457398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45739-9_9","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T02:42:01Z","timestamp":1179283321000},"page":"111-128","source":"Crossref","is-referenced-by-count":4,"title":["Component-Based Synthesis of Dependable Embedded Software"],"prefix":"10.1007","author":[{"given":"Arshad","family":"Jhumka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Hiller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neeraj","family":"Suri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,4]]},"reference":[{"issue":"4","key":"9_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"B. Alpern, F.B. Schneider, \u201cDefining Liveness\u201d, Information Processing Letters, 21(4):181\u2013185, 1985","journal-title":"Information Processing Letters"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"A. Arora, S. Kulkarni, \u201cDetectors and Correctors: A Theory of Fault-Tolerance Components\u201d, Proc ICDCS, pp 436\u2013443, May 1998.","DOI":"10.1109\/ICDCS.1998.679772"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot, \u201cStatic Determination of Dynamic Properties of Programs\u201d, Int. Symposium on Programming, 1976","DOI":"10.1145\/800022.808314"},{"key":"9_CR4","unstructured":"E.W. Dijkstra, \u201cA Discipline of Programming\u201d, Prentice Hall, 1976"},{"key":"9_CR5","unstructured":"M. Doche et al, \u201cA Modular Approach to Specify and Test an Electrical Flight Control System\u201d, 4th Intl. Workshop on Formal Methods for Industrial Critical Systems, 1999"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr, \u201cFundamentals of Algebraic Specification 2: Modules Specifications and Constraints\u201d, EATCS Monographs on Theoretical Computer Science, Vol. 21, Springer Verlag, 1989","DOI":"10.1007\/978-3-642-61284-8_8"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"A. Ermedahl, J. Gustafsson, \u201cDeriving Annotations For Tight Calculation of Execution Time\u201d, Proc EuroPar\u201997, RT System Workshop","DOI":"10.1007\/BFb0002886"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"T. Fraser et al, \u201cHardening cots software with generic software wrappers\u201d, IEEE Symposium on Security and Privacy, pp. 2\u201316, 1999","DOI":"10.1109\/SECPRI.1999.766713"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"M. Hiller, A. Jhumka, N. Suri, \u201cAn Approach for Analysing the Propagation of Data Errors in Software\u201d, Proc. DSN\u201901, pp. 161\u2013170, 2001","DOI":"10.1109\/DSN.2001.941402"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare, \u201cCommunicating Sequential Processes\u201d, Prentice Hall, 1985","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"T. Jensen et al, \u201cVerification of Control Flow Based Security Properties\u201d, Proc. IEEE Symp.on Security and Privacy, pp. 89\u2013103, 1999","DOI":"10.1109\/SECPRI.1999.766902"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"A. Jhumka, M. Hiller, V. Claesson, N. Suri, \u201cOn Systematic Design of Consistent Executable Assertions For Distributed Embedded Software\u201d, to Appear ACM LCTES\/SCOPES, 2002","DOI":"10.1145\/513829.513843"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"S. Kulkarni, A. Arora, \u201cAutomating the Addition of Fault Tolerance\u201d, Proc. Formal Techniques in Real Time and Fault Tolerant Systems, pp. 82\u201393, 2000","DOI":"10.1007\/3-540-45352-0_9"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1109\/32.54295","volume":"16","author":"N.G. Leveson","year":"1990","unstructured":"N.G. Leveson et al, \u201cThe use of self checks and voting in software error detection: An empirical study.\u201d, IEEE Trans. on Soft. Eng., 16:432\u2013443, 1990","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"9_CR15","unstructured":"Z. Liu, M. Joseph, \u201cVerification of Fault-Tolerance and Real-Time\u201d, Proc. FTCS 1996, pp220\u2013229."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"F. Salles et al, \u201cMetakernels and fault containment wrappers\u201d, Proc. FTCS, pp. 22\u201329, 1998","DOI":"10.1109\/FTCS.1999.781030"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"G. Smith, \u201cThe Object-Z Specification Language. Advances in Formal Methods\u201d, Kluwer Academic Publishers, 2000","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"9_CR18","unstructured":"F. Tip, \u201cA Survey of Program Slicing Techniques,\u201d Journal Prog. Languages Vol.3, No., 3, pp.121\u2013189, Sept. 95"},{"key":"9_CR19","unstructured":"V. Wiels, \u201cModularite pour la conception et la validation formelles de systemes\u201d, PhD thesis, ENSAE-ONERA\/CERT\/DERI, Oct 97"},{"key":"9_CR20","unstructured":"J. Woodcock, J. Davies, \u201cUsing Z: Specification, Refinement, and Proof\u201d, Prentice Hall, 1996"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45739-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T09:17:25Z","timestamp":1737019045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45739-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441656","9783540457398"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45739-9_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}