{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:45:39Z","timestamp":1725896739853},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642246890"},{"type":"electronic","value":"9783642246906"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24690-6_9","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T01:35:37Z","timestamp":1319506537000},"page":"106-121","source":"Crossref","is-referenced-by-count":6,"title":["dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification"],"prefix":"10.1007","author":[{"given":"Pablo F.","family":"Castro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cecilia","family":"Kilmurray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Araceli","family":"Acosta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Arora, A., Gouda, M.: Closure and Convergence: A Foundation of Fault-Tolerant Computing. IEEE Transactions on Software Engineering 19(11) (1999)","DOI":"10.1109\/32.256850"},{"key":"9_CR2","volume-title":"Principles of Model Checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Castro, P., Maibaum, T.: Deontic Action Logic, Atomic Boolean Algebras and Fault-Tolerance. Journal of Applied Logic 7(4) (2009)","DOI":"10.1016\/j.jal.2009.02.001"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/BFb0013029","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"E. Clarke","year":"1989","unstructured":"Clarke, E., Draghicescu, I.: Expressibility Results for Linear Time and Branching Time Logic. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol.\u00a0354, pp. 428\u2013437. Springer, Heidelberg (1989)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Clarke, E., Emerson, E., Sistla, A.: Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems 8(2) (1986)","DOI":"10.1145\/5397.5399"},{"key":"9_CR6","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"9_CR7","unstructured":"Coenen, J.: Specifying Fault Tolerant Programs in Deontic Logic, Computing Science Notes 91\/34, Dept. of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands (1991)"},{"key":"9_CR8","volume-title":"Proc. of International Conference on Software Engineering ICSE 2011","author":"N. D\u2019Ippolito","year":"2011","unstructured":"D\u2019Ippolito, N., Braberman, V., Piterman, N., Uchitel, S.: Synthesis of Live Behaviour Models for Fallible Domains. In: Proc. of International Conference on Software Engineering ICSE 2011. IEEE Press, Los Alamitos (2011)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Emerson, E., Halpern, J.: \u201cSometimes\u201d and \u201cNot Never\u201d revisited: on branching versus linear time temporal logic. J. ACM\u00a033(1) (1986)","DOI":"10.1145\/4904.4999"},{"key":"9_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-74621-8_13","volume-title":"Frontiers of Combining Systems","author":"T. French","year":"2007","unstructured":"French, T., McCabe-Dansted, J., Reynolds, M.: A Temporal Logic of Robustness. In: Konev, B., Wolter, F. (eds.) FroCos 2007. LNCS (LNAI), vol.\u00a04720, pp. 193\u2013205. Springer, Heidelberg (2007)"},{"key":"9_CR11","series-title":"Electronic Notes on Theoretical Computer Science","volume-title":"Logical Specification and Analysis of Fault Tolerant Systems through Partial Model Checking","author":"E. Gnesi","year":"2005","unstructured":"Gnesi, E., Lenzini, G., Martinelli, F.: Logical Specification and Analysis of Fault Tolerant Systems through Partial Model Checking. Electronic Notes on Theoretical Computer Science, vol.\u00a0118. Elsevier, Amsterdam (2005)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/BFb0000478","volume-title":"Algebraic Methodology and Software Technology","author":"T. Janowski","year":"1997","unstructured":"Janowski, T.: On Bisimulation, Fault-Monotonicity and Provable Fault-Tolerance. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol.\u00a01349, pp. 292\u2013306. Springer, Heidelberg (1997)"},{"key":"9_CR13","volume-title":"Proc. of International Workshop on Self-Adaptation and Self-Managing Systems SEAMS 2006","author":"J. Magee","year":"2006","unstructured":"Magee, J., Maibaum, T.: Towards Specification, Modelling and Analysis of Fault Tolerance in Self Managed Systems. In: Proc. of International Workshop on Self-Adaptation and Self-Managing Systems SEAMS 2006. ACM Press, New York (2006)"},{"key":"9_CR14","volume-title":"Proc. of the 16th International Symposium on Temporal Representation and Reasoning TIME 2009","author":"J. McCabe-Dansted","year":"2009","unstructured":"McCabe-Dansted, J., French, T., Reynolds, M., Pinchinat, S.: On the Expressivity of RoCTL*. In: Proc. of the 16th International Symposium on Temporal Representation and Reasoning TIME 2009. IEEE Computer Society, Los Alamitos (2009)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24690-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T02:07:51Z","timestamp":1555207671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24690-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642246890","9783642246906"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24690-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}