{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:27:37Z","timestamp":1743082057412,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319406473"},{"type":"electronic","value":"9783319406480"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-40648-0_1","type":"book-chapter","created":{"date-parts":[[2016,6,3]],"date-time":"2016-06-03T09:42:13Z","timestamp":1464946933000},"page":"3-18","source":"Crossref","is-referenced-by-count":1,"title":["Temporal Logic Framework for Performance Analysis of Architectures of Systems"],"prefix":"10.1007","author":[{"given":"Ariane","family":"Piel","sequence":"first","affiliation":[]},{"given":"Jean","family":"Bourrely","sequence":"additional","affiliation":[]},{"given":"St\u00e9phanie","family":"Lala","sequence":"additional","affiliation":[]},{"given":"Sylvain","family":"Bertrand","sequence":"additional","affiliation":[]},{"given":"Romain","family":"Kervarc","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,4]]},"reference":[{"issue":"11","key":"1_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Allen, J.F.: Temporal reasoning and planning. In: Reasoning about Plans, pp. 1\u201367. Morgan Kaufmann Publishers Inc., San Francisco (1991)","DOI":"10.1016\/B978-1-55860-137-6.50007-8"},{"key":"1_CR3","unstructured":"Bertrand, S., Donath, T., Kervarc, R., Lancien, A., Louyot, C., Merit, S., Piernas, A., Prudhomme, S.: Probabilistic performance evaluation of tactical ballistic missile defence architectures. In: 6th International Conference on Missile Defence (2009)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bertrand, S., Prudhomme, S., Merit, S., Jolly, C., Kervarc, R., Donath, T.: Space systems\u2019 vulnerability assessment to space debris: a methodology and a program. In: 2012 IEEE Aerospace Conference, pp. 1\u201315. IEEE (2012)","DOI":"10.1109\/AERO.2012.6187073"},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/S0951-8320(03)00091-7","volume":"81","author":"A Bobbio","year":"2003","unstructured":"Bobbio, A., Ciancamerla, E., Franceschinis, G., Gaeta, R., Minichino, M., Portinale, L.: Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study. Reliab. Eng. Syst. Saf. 81, 269\u2013280 (2003)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.actaastro.2012.11.009","volume":"85","author":"C Bonnal","year":"2013","unstructured":"Bonnal, C., Ruault, J.M., Desjean, M.C.: Active debris removal: recent progress and current trends. Acta Astronaut. 85, 51\u201360 (2013)","journal-title":"Acta Astronaut."},{"key":"1_CR7","doi-asserted-by":"crossref","DOI":"10.2514\/4.989186","volume-title":"Spacecraft Collision Probability","author":"FK Chan","year":"2008","unstructured":"Chan, F.K.: Spacecraft Collision Probability. Aerospace Press El Seg., CA (2008)"},{"issue":"5","key":"1_CR8","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z Chaochen","year":"1991","unstructured":"Chaochen, Z., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Inf. Process. Lett. 40(5), 269\u2013276 (1991)","journal-title":"Inf. Process. Lett."},{"key":"1_CR9","unstructured":"Clerc, X., Retat, I.: Astrium vision on space debris removal. In: Proceeding of the 63rd International Astronautical Congress (IAC 2012), vol. 15, Napoli, Italy (2012)"},{"key":"1_CR10","doi-asserted-by":"crossref","DOI":"10.1201\/9781420050141","volume-title":"Design Reliability: Fundamentals and Applications","author":"BS Dhillon","year":"1999","unstructured":"Dhillon, B.S.: Design Reliability: Fundamentals and Applications. CRC Press, Boca Raton (1999)"},{"issue":"2","key":"1_CR11","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0951-8320(96)00108-1","volume":"55","author":"Y Dutuit","year":"1997","unstructured":"Dutuit, Y., Ch\u00e2telet, E., Signoret, J.P., Thomas, P.: Dependability modelling and evaluation by using stochastic petri nets: application to two test cases. Reliab. Eng. Syst. Saf. 55(2), 117\u2013124 (1997)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"7","key":"1_CR12","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1109\/32.708570","volume":"24","author":"KM Hansen","year":"1998","unstructured":"Hansen, K.M., Ravn, A.P., Stavridou, V.: From safety analysis to software requirements. IEEE Trans. Softw. Eng. 24(7), 573\u2013584 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"1_CR13","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BF01211086","volume":"9","author":"MR Hansen","year":"1997","unstructured":"Hansen, M.R., Chaochen, Z.: Duration calculus: logical foundations. Formal Aspects Comput. 9(3), 283\u2013330 (1997)","journal-title":"Formal Aspects Comput."},{"key":"1_CR14","unstructured":"van der Heijden, M., Lucas, P.J.: A probabilistic logic of qualitative time. In: Probabilistic Problem Solving in BioMedicine, p. 69 (2011)"},{"issue":"1","key":"1_CR15","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0957-4174(99)00018-4","volume":"17","author":"C Kang","year":"1999","unstructured":"Kang, C., Golay, M.: A bayesian belief network-based advisory system for operational availability focused diagnosis of complex nuclear power systems. Expert Syst. Appl. 17(1), 21\u201332 (1999)","journal-title":"Expert Syst. Appl."},{"key":"1_CR16","unstructured":"Kervarc, R., Bertrand, S., Prudhomme, S., Elie, A., Carle, P., Donath, T.: A functional approach to the assessment of debris effect on spatial systems. In: MASCOT&ISGG 2012 (2012)"},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1016\/j.matcom.2010.09.007","volume":"81","author":"R Kervarc","year":"2010","unstructured":"Kervarc, R., Bourrely, J., Quillien, C.: A generic logical-temporal performance analysis method for complex systems. Math. Comput. Simul. 81, 717\u2013730 (2010)","journal-title":"Math. Comput. Simul."},{"issue":"1","key":"1_CR18","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1016\/j.asr.2014.07.039","volume":"55","author":"T Lang","year":"2015","unstructured":"Lang, T., Kervarc, R., Bertrand, S., Carle, P., Donath, T., Destefanis, R., Grassi, L., Tiboldo, F., Sch\u00e4fer, F., Kempf, S., et al.: Short and long term efficiencies of debris risk reduction measures: application to a european LEO mission. Adv. Space Res. 55(1), 282\u2013296 (2015)","journal-title":"Adv. Space Res."},{"issue":"4","key":"1_CR19","first-page":"1","volume":"3","author":"J Morio","year":"2012","unstructured":"Morio, J., Piet-Lahanier, H., Poirion, F., Marzat, J., Seren, C., Bertrand, S., Brucy, Q., Kervarc, R., et al.: An overview of probabilistic performance analysis methods for large scale and time-dependent systems. AerospaceLab 3(4), 1 (2012)","journal-title":"AerospaceLab"},{"issue":"3","key":"1_CR20","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/j.ress.2004.01.008","volume":"86","author":"M Nourelfath","year":"2004","unstructured":"Nourelfath, M., Dutuit, Y.: A combined approach to solve the redundancy optimization problem for multi-state systems under repair policies. Reliab. Eng. Syst. Saf. 86(3), 205\u2013213 (2004)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"1_CR21","unstructured":"Perez, E.: Vega users manual. ARIANESPACE (3), 154 (2012)"},{"key":"1_CR22","unstructured":"Perez, E.: Soyuz from the guiana space centre users manual. Technical report Arianespace (2012)"},{"key":"1_CR23","unstructured":"Schellhorn, G., Thums, A., Reif, W.: Formal fault tree semantics. In: Proceedings of the 6th World Conference on Integrated Design & Process Technology (2002)"},{"key":"1_CR24","unstructured":"Taylor, J.: Fault tree and cause consequence analysis for control software validation. Technical report (1982)"},{"key":"1_CR25","unstructured":"Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault tree handbook. Technical report, DTIC Document (1981)"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40648-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T03:09:59Z","timestamp":1567998599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40648-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319406473","9783319406480"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40648-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}